"Decidable Classes of Inductive Theorems."

Jürgen Giesl, Deepak Kapur (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics