Searching for "General Size-Change Termination and Lexicographic Descent." – sorted by Relevance.
-
General size-change termination and lexicographic descent
- General Size-Change Termination and Lexicographic Descent Amir M. Ben-Amram ? The Academic
- Cited by 5 (0 self) – Add To MetaCart

