Combining Induction Axioms by Machine

Christoph Walther. Combining Induction Axioms by Machine. In IJCAI. pages 95-101, 1993.

Abstract

Abstract is missing.