A monotonic higher-order semantic path ordering (2001)

by C Borralleras, A Rubio
Venue:Proceedings of the 8th International Conference on Logic for Programming, Artifical Intelligence and Reasoning (LPAR ’01), volume 2250 of LNAI