Term rewriting with operator evaluation strategies

Steven Eker. Term rewriting with operator evaluation strategies. Electronic Notes in Theoretical Computer Science, 15:311-330, 1998. [doi]

Abstract

Abstract is missing.