Theorie der logischen Programmierung eine elementare Einführung - Schmitt, Peter H. 1948- (Springer-Lehrbuch, 1992)