17 citations · 73 across the 11 of their papers we have counts for
1 paper · 1 filter
Walid Belkhir, Alain Giorgetti
We define a lazy pattern-matching mechanism modulo associativity and commutativity. The solutions of a pattern-matching problem are stored in a lazy list composed of a first substi…