Vlad Rusu
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
TAP, 2010.
@inproceedings{TAP-2010-Rusu, author = "Vlad Rusu", booktitle = "{Proceedings of the Fourth International Conference on Tests and Proofs}", doi = "10.1007/978-3-642-13977-2_12", isbn = "978-3-642-13976-5", pages = "135--150", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications}", volume = 6143, year = 2010, }