On Explicit Substitution with Names

Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang. On Explicit Substitution with Names. Journal of Automated Reasoning, 49(2):275-300, 2012. [doi]

Abstract

Abstract is missing.