@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} }