%0 Journal Article %1 journals/corr/MogaveroMPV16 %A Mogavero, Fabio %A Murano, Aniello %A Perelli, Giuseppe %A Vardi, Moshe Y. %D 2017 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Reasoning about Strategies: on the Satisfiability Problem. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#MogaveroMPV16 %V 13

@article{journals/corr/MogaveroMPV16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Mogavero, Fabio and Murano, Aniello and Perelli, Giuseppe and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2da3572b71ed46bb8194c08e5fd9d9697/dblp}, ee = {http://arxiv.org/abs/1611.08541}, interhash = {56ed5a08ae51feddcc745d9bbfb68589}, intrahash = {da3572b71ed46bb8194c08e5fd9d9697}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-08T23:18:02.000+0200}, title = {Reasoning about Strategies: on the Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#MogaveroMPV16}, volume = 13, year = 2017 }