@article{diku-ist-2007,
  author={Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe and Etsuya Shibayama},
  title={Hiding Backtracking Operations in Software Model Checking from the Environment},
  booktitle={Proc.\ Third DIKU-IST workshop},
  year={2007},
  address={Roskilde, Denmark},
}