Logik und Logikprogrammierung - Hölldobler, Steffen 1957-2023 (Synchron, Wiss.-Verl. der Autoren, 2001)