Francez, Nissim. “A Proof-Theoretic Semantics for Contextual Domain Restriction”. Journal of Language Modelling 2, no. 2 (January 12, 2015): 249–283. Accessed April 26, 2024. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/87.