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