@misc{indiciaef9f26a5faa9f,
  title = {Parametric external predicates for the DLV System},
  author = {G. Ianni and F. Calimeri and A. Pietramala and M. C. Santoro},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0404011},
  note = {Source identifier: cs/0404011}
}