Srinivas Raghothama Vadim Shapiro Consistent updates in dual representation systems. 65-75 1999 Symposium on Solid Modeling and Applications http://doi.acm.org/10.1145/304012.304019 db/conf/sma/sma1999.html#RaghothamaS99