Hans W. Guesgen Ulrich Junker Angi Voß Constraints in a Hybrid Knowledge Representation System. 30-33 1987 IJCAI db/conf/ijcai/ijcai87.html#GuesgenJV87