@inproceedings{DBLP:conf/lpnmr/CerexheST13,
  author = {Cerexhe, Timothy Joseph and Sabuncu, Orkunt and Thielscher, Michael},
  title = {Evaluating Answer Set Clause Learning for General Game Playing},
  booktitle = {{LPNMR}},
  series = {Lecture Notes in Computer Science},
  volume = {8148},
  pages = {219--232},
  publisher = {Springer},
  year = {2013}
}