Tree-Like Counterexamples in Model Checking.

Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith

Browse the full LICS paper archive.