Andrew D. Kelly Kim Marriott Harald Søndergaard Peter J. Stuckey Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. 385-386 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#KellyMSS96 http://dx.doi.org/10.1007/3-540-61739-6_55