Higher-order associative commutative pattern matching for component retrieval

David Hemer. Higher-order associative commutative pattern matching for component retrieval. Electronic Notes in Theoretical Computer Science, 91:116-133, 2004. [doi]

Abstract

Abstract is missing.