ACM Transactions on Computational Logic, volume 17, number 1, 2015.

Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins and Michael L. Littman), pages 320-337, 2013, The AAAI Press.

2012, Technical report 1104.2788, Arxiv.org.
Note: Extended and updated version of a paper that appeared in the proceedings of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence

Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh), pages 863-868, 2011, AAAI Press/IJCAI.