An incremental constraint solver (1990)

by B N Freeman-Benson, J Maloney, A Borning
Venue:Commun. ACM