Conflict-Driven Conditional Termination.

Vijay D'Silva, Caterina Urban

Browse the full CAV paper archive.