Francez, N. (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