Deepak Kapur, Mahadevan Subramaniam. Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. In Vijay A. Saraswat, editor, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Volume 2896 of Lecture Notes in Computer Science, pages 125-145, Springer, 2003. [doi]
Abstract is missing.