Logic in computer science : modelling and reasoning about systems - Huth, Michael; Mark Ryan (New York Cambridge University Press, 2004)
Includes bibliographical references (p. 414-417) and index.
Keywords: 1. Computer logic. 2. Logic programming