Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation with Non-Monotonic Orderings
LICS, 1999.
@inproceedings{LICS-1999-BofillGNR,
author = "Miquel Bofill and Guillem Godoy and Robert Nieuwenhuis and Albert Rubio",
booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1999.782618",
isbn = "0-7695-0158-3",
pages = "225--233",
publisher = "{IEEE Computer Society}",
title = "{Paramodulation with Non-Monotonic Orderings}",
year = 1999,
}
Tags: