Inductive Decidability Using Implicit Induction.

Stephan Falke, Deepak Kapur

Browse the full LPAR paper archive.