@article{jalc070205, author = {Igor Walukiewicz}, title = {Local Logics for Traces}, journal = jalc, year = 2002, volume = 7, number = 2, pages = {259--290} }