Deduction and declarative programming. - Cambridge University Press, 1992. - ( Cambridge Tracts in Theoretical Computer Science ; 28).