Yuri Gurevich Leo Harrington 60-65 conf/stoc/STOC14 1982 STOC db/conf/stoc/stoc82.html#GurevichH82