Conflict-Driven Conditional Termination

   Abstract