Srinivas Raghothama Vadim Shapiro Consistent updates in dual representation systems. 463-477 2000 32 Computer-Aided Design 8-9 http://dx.doi.org/10.1016/S0010-4485(00)00036-1 db/journals/cad/cad32.html#RaghothamaS00