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