@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 }