Fixed-point Solutions for Ground Term Rewriting Systems

Dorel Lucanu. Fixed-point Solutions for Ground Term Rewriting Systems. Sci. Ann. Cuza Univ., 3:75-84, 1994.

Abstract

Abstract is missing.