Valentin Goranko, Steen Vester. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 234-253, College Publications, 2014. [doi]
@inproceedings{GorankoV14,
title = {Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics},
author = {Valentin Goranko and Steen Vester},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Goranko-Vester.pdf},
researchr = {https://researchr.org/publication/GorankoV14},
cites = {0},
citedby = {0},
pages = {234-253},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014},
editor = {Rajeev Goré and Barteld P. Kooi and Agi Kurucz},
publisher = {College Publications},
isbn = {978-1-84890-151-3},
}