Automating the synthesis of decision procedures in a constructive metatheory (1996)

by A Armando, A Smaill, J Gallagher
Venue:In Proceedings of AI/MATH-96