Mechanizing Reasoning about Large Finite Tables in a Rewrite based Theorem Prover
Proc. ASIAN'98 , Manila, Phillipines, Dec. 1998, 22-42.
Deepak Kapur and Mahadevan Subramaniam


To get a copy of this article, please send email to kapur@cs.unm.edu or write to


Department of Computer Science
University of New Mexico
Albuquerque, NM 87131