Logic In Computer Science: Modelling and Reasoning about Systems - HUTH,MICHAEL;RYAN,MARK (UK:Cambridge University Press, 2004)
Keywords: Logic Programming