Jacques Robin Jairson Vitorino ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. 192-199 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/20-final.ps.gz db/conf/wlp/wlp2006.html#RobinV06