Xiaowei Huang. Bounded model checking of strategy ability with perfect recall. Artificial Intelligence, 222:182-200, 2015. [doi]
@article{Huang15-7,
title = {Bounded model checking of strategy ability with perfect recall},
author = {Xiaowei Huang},
year = {2015},
doi = {10.1016/j.artint.2015.01.005},
url = {http://dx.doi.org/10.1016/j.artint.2015.01.005},
researchr = {https://researchr.org/publication/Huang15-7},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {222},
pages = {182-200},
}