Francez, N. “A Proof-Theoretic Semantics for Contextual Domain Restriction”. Journal of Language Modelling, vol. 2, no. 2, Jan. 2015, pp. 249–283, doi:10.15398/jlm.v2i2.87.