An extension of dependency pair method for proving termination of higher-order rewrite systems (2001)

by Masahiko Sakai , Keiichirou Kusakari
Venue:IEICE Trans. on Information and Systems
Citations:19 - 2 self