Jamie Stark, Andrew Ireland
Invariant Discovery via Failed Proof Attempts
LOPSTR, 1998.
@inproceedings{LOPSTR-1998-StarkI, author = "Jamie Stark and Andrew Ireland", booktitle = "{Proceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation}", doi = "10.1007/3-540-48958-4_15", isbn = "3-540-65765-7", pages = "271--288", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Invariant Discovery via Failed Proof Attempts}", volume = 1559, year = 1998, }