On explicit substitution with namesKristoffer H. RoseRoel Blooet al.2011Journal of Automated Reasoning