Francez, Nissim. 2015. “A Proof-Theoretic Semantics for Contextual Domain Restriction”. Journal of Language Modelling 2 (2):249–283. https://doi.org/10.15398/jlm.v2i2.87.