Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra. Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. In Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Volume 1138 of Lecture Notes in Computer Science, pages 38-48, Springer, 1996.
Abstract is missing.