Complete Monotonic Semantic Path Orderings

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_27 ◽

2000 ◽

pp. 346-364 ◽

Author(s):

Cristina Borralleras ◽

Maria Ferreira ◽

Albert Rubio

Download Full-text