Miquel Bofill, Guillem Godoy
On the Completeness of Arbitrary Selection Strategies for Paramodulation
ICALP, 2001.
@inproceedings{ICALP-2001-BofillG, author = "Miquel Bofill and Guillem Godoy", booktitle = "{Proceedings of the 28th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-48224-5_77", isbn = "3-540-42287-0", pages = "951--962", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{On the Completeness of Arbitrary Selection Strategies for Paramodulation}", volume = 2076, year = 2001, }