@inproceedings{KS03,
  title = "Efficient Computation of Recurrence Diameters",
  author = "Kroening, Daniel and Strichman, Ofer",
  year = "2003",
  booktitle = "4th International Conference on Verification, Model Checking, and Abstract Interpretation",
  editor = "Zuck, L. and Attie, P. and Cortesi, A. and Mukhopadhyay, S.",
  month = "January",
  pages = "298--309",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2575",
}