Algorithms

Yuri Gurevich, Andrei Voronkov

24th Intern. Colloquium on Automata, Languages and Programming ICALP’97, Bologna, Italy. Springer Lecture Notes in Computer Science. | July 1997

Mark Encarnación

ISSAC ’97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation | June 1997

Andrew D. Wilson, Aaron F. Bobick, Justine Cassel

Computer Vision and Pattern Recognition, 1997. Proceedings., 1997 IEEE Computer Society Conference on | June 1997

G. Ramalingam, Harini Srinivasan

June 1997

Leslie Lamport, Timothy Mann

May 1997

Yuri Gurevich

Tech Report CSE-TR-336-97, EECS Dept, University of Michigan, 1997 | May 1997

Sumit Basu

MSR-TR-1997-6 | May 1997

Massachusetts Institute of Technology Technical Report. May, 1007.

John Snyder, Jed Lengyel

MSR-TR-97-11 | April 1997

Also

Conal M. Elliott

April 1997

Yuri Gurevich, Nandit Soparkar, Charles Wallace

Springer J. of Universal Computer Science | April 1997