@Article{BasKla:BeyondFiniteHardware,
  author = 	 {Basin, D. and Klarlund, N.},
  title = 	 {Automata Based Symbolic Reasoning in
Hardware Verification},
  journal = 	 {Formal Methods In System Design},
  year = 	 1998,
  volume =	 13,
  pages =	 {255-288},
  note =	 {Extended version of: 
        ``Hardware verification using monadic 
              second-order logic," {\em CAV '95}, LNCS 939}},
}