Sei Chun Huizhu Lu Jonghoon Chun Succinct model semantics: a simple model for inclusive interpretations. 39-44 1998 SAC http://doi.acm.org/10.1145/330560.330567 db/conf/sac/sac1998.html#ChunLC98