Call-by-need reduction for membership conditional term rewriting Systems

Mizuhito Ogawa. Call-by-need reduction for membership conditional term rewriting Systems. Electronic Notes in Theoretical Computer Science, 86(4):673-688, 2003. [doi]

Abstract

Abstract is missing.