@inproceedings{Cabalar2010,
  author    = {Pedro Cabalar},
  title     = {Existential quantifiers in the rule body},
  year      = {2010},
}