TY  - RPRT
TI  - Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
AU  - Sophie Renault
PY  - 2003
UR  - https://arxiv.org/abs/cs/0311044
ID  - cs/0311044
ER  -