IEEE - Institute of Electrical and Electronics Engineers, Inc. - Paramodulation with non-monotonic orderings
Proceedings. 14th Symposium on Logic in Computer Science
Author(s): | Bofill, M. ; Godoy, G. ; Nieuwenhuis, R. ; Rubio, A. |
Publisher: | IEEE - Institute of Electrical and Electronics Engineers, Inc. |
Publication Date: | 1 January 1999 |
Conference Location: | Trento, Italy, Italy |
Conference Date: | 5 July 1999 |
Page(s): | 225 - 233 |
ISBN (Paper): | 0-7695-0158-3 |
ISSN (Paper): | 1043-6871 |
DOI: | 10.1109/LICS.1999.782618 |
Regular:
All current completeness results for ordered paramodulation require the term ordering > to be well-founded, monotonic and total(izable) on ground terms. Here we introduce a new proof technique... View More