Georg Ringwelski Armin Wolf Ulrich Geske Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. 89-100 2000 WLP db/conf/wlp/wlp2000.html#RingwelskiWG00