@inproceedings{Baziramwabo,
    doi = {10.1109/lics.1999.782629},
    url = {https://doi.org/10.1109%2Flics.1999.782629},
    publisher = {{IEEE} Comput. Soc},
    author = {A. Baziramwabo and P. McKenzie and D. Therien},
    title = {Modular temporal logic},
    booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)}
}

@inproceedings{Baziramwabo, doi = {10.1109/lics.1999.782629}, url = {https://doi.org/10.1109%2Flics.1999.782629}, publisher = {{IEEE} Comput. Soc}, author = {A. Baziramwabo and P. McKenzie and D. Therien}, title = {Modular temporal logic}, booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)} }