TY  - RPRT
TI  - Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
AU  - Francois Gobert
AU  - Baudouin Le Charlier
PY  - 2007
UR  - https://arxiv.org/abs/0710.5895
ID  - 0710.5895
ER  -