Marta Frañová, Yves Kodratoff. Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. In Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Volume 659 of Lecture Notes in Computer Science, pages 184-208, Springer, 1991.
Abstract is missing.