Incremental Integrity Checking: Limitations and Possibilities.

Henning Christiansen, Davide Martinenghi

Browse the full LPAR paper archive.