Jianying Cui, Xiaojia Tang. A method for solving Nash equilibria of games based on public announcement logic. Science in China Series F: Information Sciences, 53(7):1358-1368, 2010. [doi]
@article{CuiT10-0, title = {A method for solving Nash equilibria of games based on public announcement logic}, author = {Jianying Cui and Xiaojia Tang}, year = {2010}, doi = {10.1007/s11432-010-4010-0}, url = {http://dx.doi.org/10.1007/s11432-010-4010-0}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/CuiT10-0}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {53}, number = {7}, pages = {1358-1368}, }