@inproceedings{2008-Mol-agtive-lncs, author = {Maarten de Mol and Marko van Eekelen and Rinus Plasmeijer}, title = {A Single-Step Term-Graph Reduction System for Proof Assistants}, booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers}, editor = {Andy Schürr, Manfred Nagl, Albert Zündorf}, address = {Universit\"at Kassel, Germany}, year = {2008}, publisher = "Springer Verlag}, note = "To appear", series = "LNCS", class = "Wet" }