DMCA

Recherche en Informatique de Nancy. Ireland, A. (1992). The Use of Planning Critics in Mechanizing Inductive Proof. In Proceedings of LPAR'92, Lecture Notes in Arti cial Intelligence 624. Springer-Verlag. Also

by E. Inductive , Synthesis Equational , Programs In