Stephan Schulz
Fingerprint Indexing for Paramodulation and Rewriting
IJCAR, 2012.
@inproceedings{IJCAR-2012-Schulz, author = "Stephan Schulz", booktitle = "{Proceedings of the Sixth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-642-31365-3_37", isbn = "978-3-642-31364-6", pages = "477--483", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Fingerprint Indexing for Paramodulation and Rewriting}", volume = 7364, year = 2012, }