Emmanuel Kounalis, Pascal Urso. Generalization Discovery for Proofs by Induction in Conditional Theories. In Amruth N. Kumar, Ingrid Russell, editors, Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, May 1-5, 1999, Orlando, Florida, USA. pages 250-256, AAAI Press, 1999.
Abstract is missing.