@InProceedings{Frisch02,
  author =	 {Alan Frisch and Daniel Sheridan and Toby Walsh},
  title =	 {A Fixpoint Based Encoding for Bounded Model
                  Checking},
  booktitle =	 {Formal Methods in Computer-Aided Design; 4th
                  International Conference, FMCAD 2002},
  pages =	 {238--254},
  year =	 2002,
  editor =	 {M D Aagaard and J W O'Leary},
  volume =	 2517,
  series =	 lncs,
  address =	 {Portland, OR, USA},
  month =	 nov,
  publisher =	 {Springer}
}