Authors: Katoen, JP Nymeyer, A

Citation: Jp. Katoen et A. Nymeyer, Pattern-matching algorithms based on term rewrite systems, THEOR COMP, 238(1-2), 2000, pp. 439-464