@article{1183742336,
author = {Shepherdson, John C.},
title = {Review: J. W. Lloyd, Foundations of Logic Programming},
journal = {J. Symbolic Logic},
volume = {52},
number = {1},
year = {1987},
pages = { 288-289},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742336}
}
Shepherdson, John C. Review: J. W. Lloyd, Foundations of Logic Programming. J. Symbolic Logic, Tome 52 (1987) no. 1, pp. 288-289. http://gdmltest.u-ga.fr/item/1183742336/