Deduction and declarative programming /
Padawitz, P.
Cambridge : Cambridge University Press,
1992.