Francez, N. A Proof-Theoretic Semantics for Contextual Domain Restriction. JLM 2015, 2, 249–283.