Christos H. Papadimitriou Jeffrey D. Ullman 84-88 conf/focs/FOCS25 1984 FOCS db/conf/focs/focs84.html#PapadimitriouU84