A Visual Interactive Framework for Formal Derivation. - Paul Agron; Leo Bachmair; Frank Nielsen (International Conference on Computational Science (1), 2005)