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