Incremental querying in the concurrent CLP language IFD-Constraint Pandora.

Jimmy Ho-Man Lee, Ho-fung Leung

Browse the full SAC paper archive.