J. Grudzinska and M. Zawadowski, “Inverse Linking: Taking Scope with Dependent Types”, Proceedings of the AC, pp. 285–294, Feb. 2025, Accessed: Jan. 31, 2026. [Online]. Available: https://platform.openjournals.nl/PAC/article/view/22155