출판 The Inference Problem for Template Dependencies Yuri Gurevich, H. R. Lewis Information and Control | August 1982, 제 55 권: pp. 69-79
출판 Automata, Trees, and Games Yuri Gurevich, Leo Harrington 14th Annual Symposium on Theory of Computing, ACM | August 1982
출판 E. M. Can message buffers be characterized in linear temporal logic? N. Clarke, Y. Francez, Yuri Gurevich, P. Sistla Symposium on Principles of Distributed Computing, ACM | July 1982, pp. 148-156
출판 On the Unique Satisfiability Problem Andreas Blass, Yuri Gurevich Information and Control | July 1982, 제 55 권: pp. 80-88
출판 Monadic Theory of Order and Topology in ZFC Yuri Gurevich, Saharon Shelah Annals of Mathematical Logic | July 1982, pp. 179-198
출판 A Review of Two Books on the Decision Problem Yuri Gurevich Bulletin of the American Mathematical Society | July 1982, 제 7 권: pp. 273-277
출판 Prefix Classes of Krom Formulas with Identity S. O. Aandraa, E. Boerger, Yuri Gurevich July 1982, 제 22 권: pp. 43-49