G.: Situated Simplification (1995)

by A Podelski, Smolka
Venue:Proceedings of the 1st Conference on Principles and Practice of Constraint Programming. Volume 976 of LNCS., Springer-Verlag