P. S. Thiagarajan, Igor Walukiewicz. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. In LICS. pages 183-194, 1997. [doi]
@inproceedings{ThiagarajanW97,
title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces},
author = {P. S. Thiagarajan and Igor Walukiewicz},
year = {1997},
url = {http://www.computer.org/proceedings/lics/7925/79250183abs.htm},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/ThiagarajanW97},
cites = {0},
citedby = {0},
pages = {183-194},
booktitle = {LICS},
}