@TechReport{CMR96,
  author    = "D. Cyrluk and O. M{\"o}ller and H. Rue{\ss}",
  title     = "An {E}fficient {D}ecision {P}rocedure
               for a {T}heory of {F}ixed-{S}ized {B}itvectors
               with Composition and Extraction",
  year      = "1996",
  number    = "96-9",
  institute = "Universit{\"a}t Ulm, Fakult{\"a}t f{\"u}r Informatik",
  type      = "Ulmer Informatik-Berichte"
}