Christoph Walther. Combining Induction Axioms by Machine. In IJCAI. pages 95-101, 1993.
@inproceedings{Walther93:0,
title = {Combining Induction Axioms by Machine},
author = {Christoph Walther},
year = {1993},
researchr = {https://researchr.org/publication/Walther93%3A0},
cites = {0},
citedby = {0},
pages = {95-101},
booktitle = {IJCAI},
}