Combining Induction Axioms by Machine

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

No reviews for this publication, yet.