@InProceedings{Cimatti04,
  author =	 {Alessandro Cimatti and Marco Roveri and  Daniel Sheridan},
  title =	 {Bounded Verification of Past {LTL}},
  booktitle =	 {Formal Methods in Computer-Aided Design; 5th
                  International Conference, FMCAD 2004},
  year =	 2004,
  editor =	 {A J Hu and A K Martin},
  series =	 lncs,
  address =	 {Austin, TX, USA},
  month =	 nov,
  publisher =	 {Springer}
}