@article{journals/jlp/EiterG97,
  title = "Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1997",
  journal = "J. Log. Program.",
  number = "2",
  pages = "167-178",
  volume = "33",
}