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