Logic in computer science: modelling and reasoning about systems - Huth, Michael; Ryan, Mark (New York : Cambridge University Press, 2004)
Keywords: Computer logic -- Logic programming