Francez N. A proof-theoretic semantics for contextual domain restriction. JLM [Internet]. 2015 Jan. 12 [cited 2024 Dec. 22];2(2):249–283. Available from: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/87