Romero Davila, J., A. Saffidine, and M. Thielscher. “Solving the Inferential Frame Problem in the General Game Description Language”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8791.