@article{journals/iandc/GottlobP01,
  title = "Working with {ARMs}: Complexity Results on Atomic Representations of Herbrand Models",
  author = "Georg Gottlob and Reinhard Pichler",
  year = "2001",
  journal = "Inf. Comput.",
  number = "2",
  pages = "183-207",
  volume = "165",
  doi = "10.1006/inco.2000.2915",
}