@Inproceedings{EPTCS82.3, author = {Belkhir, Walid and Giorgetti, Alain}, year = {2012}, title = {Lazy AC-Pattern Matching for Rewriting}, editor = {Escobar, Santiago}, booktitle = {{\rm Proceedings 10th International} Workshop on Reduction Strategies in Rewriting and Programming, {\rm Novi Sad, Serbia, 29 May 2011 }}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {82}, publisher = {Open Publishing Association}, pages = {37-51}, doi = {10.4204/EPTCS.82.3}, }