Consistency as a Branching Time Notion.

Astrid Kiehn, Mohnish Pattathurajan

Browse the full TAMC paper archive.