TY  - RPRT
TI  - Parametric external predicates for the DLV System
AU  - G. Ianni
AU  - F. Calimeri
AU  - A. Pietramala
AU  - M. C. Santoro
PY  - 2004
UR  - https://arxiv.org/abs/cs/0404011
ID  - cs/0404011
ER  -