Right-linear half-monadic term rewrite systems

Sándor Vágvölgyi. Right-linear half-monadic term rewrite systems. Theoretical Computer Science, 309(1-3):195-211, 2003. [doi]

Abstract

Abstract is missing.