Polymorphic higher-order recursive path orderings (2005)

Cached

Download Links

by Jean-pierre Jouannaud , Lix École Polytechnique , Albert Rubio
Venue:Journal of the ACM
Citations:13 - 3 self