@unpublished(mcrl2,
 author       = "J. F. Groote et al",
 title        = "The {mCRL2} tool set",
 note         = "{\tt http://mcrl2.org/mcrl2/wiki/index.php/Home}",
)
@inproceedings(AM10,
 author       = "Martin Avanzini and Georg Moser",
 year         = "2010",
 title        = "Closing the Gap Between Runtime Complexity and Polytime Computability",
 editor       = "Christopher Lynch",
 booktitle    = "Proceedings of the 21st International Conference on Rewriting Techniques and Applications",
 series       = "Leibniz International Proceedings in Informatics (LIPIcs)",
 volume       = "6",
 publisher    = "Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik",
 address      = "Dagstuhl, Germany",
 pages        = "33--48",
)
@inproceedings(O07,
 author       = "V. van Oostrom",
 year         = "2007",
 title        = "Random Descent",
 editor       = "F. Baader",
 booktitle    = "Proceedings of the 18th Conference on Rewriting Techniques and Applications (RTA)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4533",
 publisher    = "Springer",
 pages        = "314--328",
 doi          = "10.1007/978-3-540-73449-9\_24",
)
@book(terese,
 author       = "Terese",
 year         = "2003",
 title        = "Term Rewriting Systems",
 publisher    = "Cambridge University Press",
)
@inproceedings(T05,
 author       = "Y. Toyama",
 year         = "2005",
 title        = "Reduction Strategies for Left-Linear Term Rewriting Systems",
 editor       = "A. Middeldorp and V. van Oostrom and F. van Raamsdonk and R. de Vrijer",
 booktitle    = "Processes, Terms and Cycles: Steps on the Road to Infinity:Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday",
 series       = "Lecture Notes in Computer Science",
 volume       = "3838",
 publisher    = "Springer",
 pages        = "198--223",
 doi          = "10.1007/11601548\_13",
)
@inproceedings(WZ95,
 author       = "H. R. Walters and H. Zantema",
 year         = "1995",
 title        = "Rewrite Systems for Integer Arithmetic",
 editor       = "J. Hsiang",
 booktitle    = "Proceedings of the 6th Conference on Rewriting Techniques and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "914",
 publisher    = "Springer",
 pages        = "324 -- 338",
 doi          = "10.1007/3-540-59200-8\_67",
)
@unpublished(Zarit,
 author       = "H. Zantema",
 year         = "2003",
 title        = "Basic arithmetic by rewriting and its complexity",
 note         = "Available at \newline {\tt http://www.win.tue.nl/\~{}hzantema/aritm.pdf}",
)