@inproceedings{2165672e890c40c8aff40cac54e5bc85,
title = "Anagopos: a reduction graph visualizer for term rewriting and lambda calculus",
abstract = "We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.",
author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Jeroen Ketema and Pallesen, {Jens Duelund} and Simonsen, {Jakob Grue}",
year = "2011",
doi = "10.4230/LIPIcs.RTA.2011.61",
language = "English",
isbn = "978-3-939897-30-9",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
pages = "61--70",
editor = "Manfred Schmidt-Schau{\ss}",
booktitle = "22nd International Conference on Rewriting Techniques and Applications (RTA'11)",
note = "22nd International Conference on Rewriting Techniques and Applications ; Conference date: 30-05-2011 Through 01-06-2011",
}