Logic for computer scientists - Schoning, Uwe.; SpringerLink (Online service) (Boston, MA : Birkhauser Boston, 2008)
Keywords: Logic, Symbolic and mathematical; Logic programming