Logische Grundlagen der künstlichen Intelligenz / Michael R. Genesereth ; Nils J. Nilsson. Übers. u. bearb. von Michael Tarnowski. Braunschweig [u.a.] : Vieweg, 1989