@inbook {IOPORT.06027823,
    author       = {Tiwari, Ashish},
    title        = {Rewriting in practice.},
    year         = {2011},
    booktitle    = {22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 -- June 1, 2011},
    isbn         = {978-3-939897-30-9},
    pages        = {3-8, electronic only},
    publisher    = {Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik},
    doi          = {10.4230/LIPIcs.RTA.2011.3},
    abstract     = {Summary: We discuss applications of rewriting in three different areas: design and analysis of algorithms, theorem proving and term rewriting, and modeling and analysis of biological processes.},
    identifier   = {06027823},
}