@InProceedings{l04-p232-241, AUTHOR = {Volker Diekert and Paul Gastin}, TITLE = {Pure future local temporal logics are expressively complete for Mazurkiewicz traces}, YEAR = 2004, ADDRESS = {Buenos Aires, Argentina}, BOOKTITLE = {Proc.~of the 6th Latin American Symposium on Theoretical Informatics (LATIN'04)}, PAGES = {232--241}, KEYWORDS = {}}