@inproceedings{conf/lics/GottlobP99,
  title = "Working with Arms: Complexity Results on Atomic Representations of Herbrand Models",
  author = "Georg Gottlob and Reinhard Pichler",
  year = "1999",
  booktitle = "{LICS}",
  pages = "306-315",
  url = "http://computer.org/conferen/proceed/lics/0158/01580306abs.htm",
}