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,
}