@inproceedings{DBLP:conf/aaai/DavilaST14,
  author = {Davila, Javier Romero and Saffidine, Abdallah and Thielscher, Michael},
  title = {Solving the Inferential Frame Problem in the General Game Description Language},
  booktitle = {{AAAI}},
  pages = {515--521},
  publisher = {{AAAI} Press},
  year = {2014}
}