@INPROCEEDINGS{cav97*60,
AUTHOR        = {David Cyrluk and M. Oliver M{\"o}ller and Harald Rue{\ss} }, 
TITLE  =  {An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors},
BOOKTITLE         = {Computer Aided Verification. 9th International Conference (CAV97). Haifa, Israel, June 22-25: Proceedings},
PAGES = {60-71},
CROSSREF = {cav97},}

@PROCEEDINGS{cav97,
TITLE         = {Computer Aided Verification. 9th International Conference (CAV97). Haifa, Israel, June 22-25: Proceedings},
EDITOR        = {Grumberg, Orna}, 
PUBLISHER     = {Springer},
ADDRESS       = {Berlin - Heidelberg - New York},
YEAR          = {1997},
SERIES        = {Lecture Notes in Computer Science LNCS},
VOLUME        = {1254},
LOCATION      = {DFKI Saarbr{\"u}cken},
DFKINUMBER    = {M:S97-233},
SIGNATURE     = {A-0020-117:2},
ISBN          = {3-540-63166-6},
STATUS        = {available},
CRINDEX       = {A.0 General Literature - Conference Proceedings},
BIBTYPE       = {PROCEEDINGS},}