Logic And Declarative Language - 9780748408023