Deduction and declarative programming / - Padawitz, Peter, (Cambridge University Press,, 1992)