Marwan A. Jabri BREL - a Prolog Knowledge-based System Shell for VLSI CAD. 272-277 1990 DAC http://doi.acm.org/10.1145/123186.123273 db/conf/dac/dac90.html#Jabri90