A single-step term-graph reduction system for proof assistants (2008)

by M de Mol, M van Eekelen, R Plasmeijer
Venue:Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers, LNCS, Universität