@InProceedings{Brotherston-etal:02,
  author    = "James Brotherston and Anatoli Degtyaryev and Michael Fisher and Alexei Lisitsa",
  title     = "Searching for Invariants Using Temporal Resolution",
  booktitle = "Proceedings of LPAR 2002",
  editor    = "M. Baaz and A. Voronkov",
  series    = "LNAI",
  volume    = 2514,
  pages     = "86--101",
  publisher = "Springer-Verlag",
  year      = 2002
}