Emmanuel Kounalis, Michaël Rusinowitch. Mechanizing Inductive Reasoning. In AAAI. pages 240-245, 1990.
@inproceedings{KounalisR90:0,
title = {Mechanizing Inductive Reasoning},
author = {Emmanuel Kounalis and Michaël Rusinowitch},
year = {1990},
researchr = {https://researchr.org/publication/KounalisR90%3A0},
cites = {0},
citedby = {0},
pages = {240-245},
booktitle = {AAAI},
}