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