Searching for Invariants using Temporal Resolution (2002)

by J Brotherston, A Degtyarev, M Fisher, A Lisitsa
Venue:Proceedings of LPAR 2002