Thom W. Frühwirth Philipp Hanschke Terminological Reasoning with Constraint Handling Rules. 80-89 1993 PPCP db/conf/ppcp/ppcp93.html#FruhwirthH93