@inproceedings{Muller-Olm05Checking,
  author = {Markus M\"uller-Olm and Oliver R\"uthing and Helmut Seidl},
  title = {Checking {H}erbrand {E}qualities and {B}eyond},
  booktitle = {Verification, Model Checking, and Abstract Interpretation},
  editor = {Radhia Cousot},
  month = {January},
  year = 2005,
  pages = {79-96},
  series = {Lecture Notes in Computer Science},
  volume = {3385},
  publisher = {Springer},
  address = {Paris, France},
}