@inproceedings{BK09, author = {B. Kordy}, title = {A Rewrite Approach for Pattern Containment}, booktitle = {Recent Trends in Algebraic Development Techniques}, year = {2009}, isbn = {978-3-642-03428-2}, pages = {236--250}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg} }