McAllester and Kostas Arkoudas. Walther recursion (1996)

by David
Venue:13th International Conference on Automated Deduction, pages 643–657. LNAI 1104