Norman Y. Foo Abhaya C. Nayak Maurice Pagnucco Definitional Constraints. 65-69 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#FooNP96