Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Presheaf Environment for the Explicit Fusion Calculus. Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2). pp. 161-183. ISSN 0168-7433 (2012)