Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.

Andrew D. Kelly, Kim Marriott, Harald Sndergaard, Peter J. Stuckey

Browse the full SAS paper archive.