1. Lecture Notes in Computer Science;PA Abdulla,2013
2. Lecture Notes in Computer Science;PA Abdulla,2003
3. Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: A logic for coalitions with bounded resources. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI 2009, vol. 2, pp. 659–664. IJCAI/AAAI, AAAI Press (2009)
4. Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Resource-bounded alternating-time temporal logic. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, pp. 481–488. IFAAMAS (2010)
5. Alechina, N., Bulling, N., Demri, S., Logan, B.: On the complexity of resource-bounded logics. Theor. Comput. Sci. 750, 69–100 (2018).
https://doi.org/10.1016/j.tcs.2018.01.019