TY  - RPRT
TI  - Transformations of Logic Programs with Goals as Arguments
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2004
UR  - https://arxiv.org/abs/cs/0307022
ID  - cs/0307022
ER  -