Logic in computer science : modelling and reasoning about systems - Huth, Michael, 1962-; Ryan, Mark, 1962- (Cambridge [U.K.] : Cambridge University Press, 2004)
Includes bibliographical references (p. 414-417) and index.
Keywords: Computer logic; Logic programming (Computer science)