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