Relational treatment of term graphs with bound variables Article in Logic Journal of IGPL (March 1998)