Abderrahmane Aggoun Nicolas Beldiceanu Overview of the CHIP Compiler System. 421-435 1991 WCLP db/conf/wclp/wclp91.html#AggounB91