@inproceedings{French,
    doi = {10.1109/time.2003.1214891},
    url = {https://doi.org/10.1109%2Ftime.2003.1214891},
    publisher = {{IEEE} Comput. Soc},
    author = {T. French},
    title = {Quantified propositional temporal logic with repeating states},
    booktitle = {10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.}
}

@inproceedings{French, doi = {10.1109/time.2003.1214891}, url = {https://doi.org/10.1109%2Ftime.2003.1214891}, publisher = {{IEEE} Comput. Soc}, author = {T. French}, title = {Quantified propositional temporal logic with repeating states}, booktitle = {10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.} }