Marcin Mostowski Dominika Wojtyniak Computational complexity of the semantics of some natural language constructions. 219-227 2004 127 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/j.apal.2003.11.016 db/journals/apal/apal127.html#MostowskiW04