Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.

John P. Gallagher, Mads Rosendahl

Browse the full LPAR paper archive.