Iain A. Stewart Context-Sensitive Transitive Closure Operators. 277-301 1994 66 Ann. Pure Appl. Logic 3 db/journals/apal/apal66.html#Stewart94