Generalization Discovery for Proofs by Induction in Conditional Theories.

Emmanuel Kounalis, Pascal Urso

Browse the full FlAIRS paper archive.