@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}, }