@article{1093888213,
author = {Peterson, Jeremy George},
title = {An automatic theorem prover for substitution and detachment systems.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 119-122},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888213}
}
Peterson, Jeremy George. An automatic theorem prover for substitution and detachment systems.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 119-122. http://gdmltest.u-ga.fr/item/1093888213/