@inproceedings{artho08hvc,
  author = {C. Artho},
  title = {Iterative Delta Debugging},
  booktitle = {Proc.\ 4th Haifa Verification Conference (HVC~2008)},
  year = {2008},
  series = {LNCS},
  publisher={Springer},
  volume = {5394},
  pages = {99--113},
  address = {Haifa, Israel},
}