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)