J. Grudzinska and M. Zawadowski, “Inverse Linking: Taking Scope with Dependent Types”, Proceedings of the AC, pp. 285–294, Dec. 2017, doi: 10.53437/7avaxm58.