@inproceedings{f31baaac3f26458893a2c1c2174f5647,
title = "A faster Tableau for CTL*",
author = "Mark Reynolds",
year = "2013",
doi = "10.4204/EPTCS.119",
language = "English",
isbn = "20752180",
volume = "1",
pages = "50--63",
booktitle = "Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification",
publisher = "Open Publishing Association",
address = "Australia",
note = "Fourth International Symposium on Games, Automata, Logics and Formal Verification ; Conference date: 29-08-2013 Through 31-08-2013",
}