Ulrich John Ulrich Geske Constraint-logische Modellierung und Bearbeitung technischer Konfigurationsprobleme - Das System ConBaCon. 1999 conf/puk/1999 PuK http://www.informatik.uni-freiburg.de/~koehler/puk99-papers/geske.ps.gz db/conf/puk/puk1999.html#JohnG99