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