CT-1994-08: Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling The STO-problem is NP-hard 1.Full Text. < Back