Abstract binding graph

An extension of Abstract binding tree (ABT)s to a Directed acyclic graph (DAG) structure while preserving the binding discipline.