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