Francez, N. 2015. A proof-theoretic semantics for contextual domain restriction. Journal of Language Modelling. 2, 2 (Jan. 2015), 249–283. DOI:https://doi.org/10.15398/jlm.v2i2.87.