@article{journals/logcom/EiterGL97,
  title = "On the Indiscernibility of Individuals in Logic Programming",
  author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1997",
  journal = "J. Log. Comput.",
  number = "6",
  pages = "805-824",
  volume = "7",
}