@article{1183735755,
author = {Luckham, David},
title = {Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving},
journal = {J. Symbolic Logic},
volume = {32},
number = {1},
year = {1967},
pages = { 117-118},
language = {en},
url = {http://dml.mathdoc.fr/item/1183735755}
}
Luckham, David. Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. J. Symbolic Logic, Tome 32 (1967) no. 1, pp. 117-118. http://gdmltest.u-ga.fr/item/1183735755/