Logik und Logikprogrammierung - Hölldobler, Steffen 1957-2023 (Synchron, Wissenschaftsverl. der Autoren, 2003)