Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. - Niels Bjørn Bugge Grathwohl; Jeroen Ketema; Jens Duelund Pallesen; Jakob Grue Simonsen (RTA, 2011)