Robert C. Armstrong Jonathan Allen FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. 336-343 1992 ICCAD http://doi.acm.org/10.1145/304032.304130 db/conf/iccad/iccad1992.html#ArmstrongA92