@inproceedings{AGTIVE-2007-MolEP,
	author        = "Maarten de Mol and Marko C. J. D. van Eekelen and Rinus Plasmeijer",
	booktitle     = "{Revised Selected and Invited Papers of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance}",
	doi           = "10.1007/978-3-540-89020-1_14",
	isbn          = "978-3-540-89019-5",
	pages         = "184--200",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{A Single-Step Term-Graph Reduction System for Proof Assistants}",
	volume        = 5088,
	year          = 2007,
}