Termination of context-sensitive rewriting with built-in numbers and collection data structures (2009)

by S Falke, D Kapur
Venue:18th Workshop on Functional and (Constraint) Logic Programming (WFLP’09