Rewriting formalisms with binding support: comparing combinatory reduction systems and nominal rewrite systems with atom substitution. - Jesus Dominguez Alvarez (2017)