Searching for "From Higher-Order to First-Order Rewriting." – sorted by Relevance.
-
From Higher-Order to First-Order Rewriting
- From Higher-Order to First-Order Rewriting Eduardo Bonelli 1;2 , Delia Kesner 2 , Alejandro R
- Cited by 4 (0 self) – Add To MetaCart

