Termination of on-demand rewriting and termination of OBJ programs (2001)

by S Lucas
Venue:In Proc. of 3rd International Conference on Principles and Practice of Declarative Programming, PPDP’01