Krzysztof R. Apt Peter van Emde Boas Angelo Welling The STO-Problem is NP-Hard. 489-495 1994 18 J. Symb. Comput. 5 db/journals/jsc/jsc18.html#AptBW94