Mathematische Grundlagen der logischen Programmierung - Goltz, Hans-Joachim; Herre, Heinrich (Inst. f. Informatik u. Rechentechnik, 1987)