TY  - RPRT
TI  - Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
AU  - Francesco Calimeri
AU  - Nicola Leone
PY  - 2004
UR  - https://arxiv.org/abs/cs/0404012
ID  - cs/0404012
ER  -