Decidable Classes of Inductive Theorems.

Jrgen Giesl, Deepak Kapur

Browse the full CADE paper archive.