[1]
N. Francez, “A proof-theoretic semantics for contextual domain restriction”, JLM, vol. 2, no. 2, pp. 249–283, Jan. 2015.