Relational Treatment of Term Graphs With Bound Variables

Wolfram Kahl. Relational Treatment of Term Graphs With Bound Variables. Logic Journal of the IGPL, 6(2):259-303, 1998. [doi]

Abstract

Abstract is missing.