@article{1183735756,
author = {Robinson, J. A.},
title = {Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving},
journal = {J. Symbolic Logic},
volume = {32},
number = {1},
year = {1967},
language = {en},
url = {http://dml.mathdoc.fr/item/1183735756}
}
Robinson, J. A. Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving. J. Symbolic Logic, Tome 32 (1967) no. 1, . http://gdmltest.u-ga.fr/item/1183735756/