Gunter Dueck Auf und Up mit Logik erster Ordnung. 59-71 2002 25 Informatik Spektrum 1 http://link.springer.de/link/service/journals/00287/bibs/2025001/20250059.htm db/journals/insk/insk25.html#Dueck02