A Monotonic Higher-Order Semantic Path Ordering (2000)

by Cristina Borralleras , Albert Rubio
Venue:Proc. of 8th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01) LNAI 2250:531--547
Citations:5 - 3 self