An implementation of the induction rule into resolution procedures for automatic theorem proving.
Khotomski, Petar Z.
Publications de l'Institut Mathématique. Nouvelle Série, Tome 33(47) (1983), p. 89-95 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1983-01-01
EUDML-ID : urn:eudml:doc:116799 
@article{03814998,
     title = {An implementation of the induction rule into resolution procedures for automatic theorem proving.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {33(47)},
     year = {1983},
     pages = {89-95},
     zbl = {0515.68066},
     language = {en},
     url = {http://dml.mathdoc.fr/item/03814998}
}

Khotomski, Petar Z. An implementation of the induction rule into resolution procedures for automatic theorem proving.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 33(47) (1983) pp. 89-95. http://gdmltest.u-ga.fr/item/03814998/