Tee Yong Chew Martin Henz Ka Boon Ng A Toolkit for Constraint-Based Inference Engines. 185-199 2000 conf/padl/2000 PADL http://link.springer.de/link/service/series/0558/bibs/1753/17530185.htm db/conf/padl/padl2000.html#ChewHN00