Grudzinska, J.; Zawadowski, M. Inverse Linking: Taking Scope With Dependent Types. Proceedings of the AC 2017, 285-294. https://doi.org/10.53437/7avaxm58.