Unification of Infinite Sets of Terms Schematized by Primal Grammars

Miki Hermann, Roman GalbavĂ˝. Unification of Infinite Sets of Terms Schematized by Primal Grammars. Theoretical Computer Science, 176(1-2):111-158, 1997. [doi]

Abstract

Abstract is missing.