@misc{indiciae412aa311a3ba,
  title = {Flatness of the Energy Landscape for Horn Clauses},
  author = {Saratha Sathasivam and Wan Ahmad Tajuddin Wan Abdullah},
  year = {2008},
  url = {https://arxiv.org/abs/0805.0197},
  note = {Source identifier: 0805.0197}
}