Consistent updates in dual representation systems (2000)

by S Raghothama, V Shapiro
Venue:ComputerAided Design