An Incremental Constraint Solver (1990)

by Bjorn Freeman-Benson, John Maloney, Alan Borning
Venue:in Communications of the ACM