@MISC{Moe98,
AUTHOR = {M. Oliver M{\"o}ller},
TITLE  = {{S}olving {B}it-{V}ector {E}quations - {A} {D}ecision {P}rocedure for {H}ardware {V}erification},
YEAR = {1998},
SCHOOL = {University of Ulm, Germany},
NOTE = {Diploma Thesis, available at
        {\tt http://www.informatik.uni-ulm.de/ki/Bitvector/}},
}