Romero Davila, Javier, Abdallah Saffidine, and Michael Thielscher. 2014. “Solving the Inferential Frame Problem in the General Game Description Language”. Proceedings of the AAAI Conference on Artificial Intelligence 28 (1). https://doi.org/10.1609/aaai.v28i1.8791.