@article{DBLP:journals/ai/EiterL04,
  title = "Complexity Results for Explanations in the Structural-Model Approach",
  author = "Thomas Eiter and Thomas Lukasiewicz",
  year = "2004",
  journal = "Artificial Intelligence",
  month = "April",
  number = "1/2",
  pages = "145--198",
  url = "http://dx.doi.org/10.1016/j.artint.2003.06.002",
  volume = "154",
}