Bharat Adsul Milind A. Sohoni Complete and Tractable Local Linear Time Temporal Logics over Traces. 926-937 2002 conf/icalp/2002 ICALP http://link.springer.de/link/service/series/0558/bibs/2380/23800926.htm db/conf/icalp/icalp2002.html#AdsulS02