Bharat Adsul Milind A. Sohoni Local Normal Forms for Logics over Traces. 47-58 2002 conf/fsttcs/2002 FSTTCS http://link.springer.de/link/service/series/0558/bibs/2556/25560047.htm db/conf/fsttcs/fsttcs2002.html#AdsulS02