@inproceedings{def2b04e1f034f8988f7d11cad7e567d,
title = "An account of implementing applicative term rewriting",
abstract = "Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation of two rewriters of the mCRL2 toolset. These rewriters work on open terms and use nonlinear match trees. A comparison is made with other commonly used efficient rewriters.",
author = "{Weerdenburg, van}, M.J.",
year = "2007",
doi = "10.1016/j.entcs.2007.02.049",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
pages = "139--155",
editor = "S. Antoy",
booktitle = "Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA",
address = "Netherlands",
note = "6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA, WRS 2006 ; Conference date: 11-08-2006 Through 11-08-2006",
}