| @article{icomp-DG2004, | ||
| author = | {Diekert, Volker and Gastin, Paul}, | |
| DOI = | {10.1016/j.ic.2004.08.001}, | |
| journal = | {Information and Computation}, | |
| month = | nov, | |
| number = | {1-2}, | |
| pages = | {30-52}, | |
| publisher = | {Elsevier Science Publishers}, | |
| title = | {Local temporal logic is expressively complete for cograph dependence alphabets}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DG04-icomp.pdf}, | |
| volume = | {195}, | |
| year = | {2004}, | |
| } | ||