Deduction and declarative programming - Padawitz, Peter (Cambridge Univ. Press, 1992)
Literaturverz. S. 269 - 274