@inproceedings{TEMP:conf/kr/DrescherGKS08, author = {Drescher, Christian and Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, title = {Heuristics in Conflict Resolution}, pages = {141--149}, year = {2008}, booktitle = {{NMR@KR}}, series = {School of Computer Science and Engineering, The University of New South Wales, Technical Report Series} }