Văn bản này: Deduction and declarative programming / Peter Padawitz.