@inproceedings{SV05TIME,
    author = {Samer, Marko and Veith, Helmut},
    title = {Deterministic {CTL} Query Solving},
    booktitle = {Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME'05)},
    editor = {Chomicki, Jan and Toman, David},
    publisher = {IEEE Computer Society},
    pages = {156--165},
    year = {2005},
    isbn = {0-7695-2370-6}
}