TY  - RPRT
TI  - Experiments with a Convex Polyhedral Analysis Tool for Logic Programs
AU  - Kim Henriksen
AU  - Gourinath Banda
AU  - John Gallagher
PY  - 2007
UR  - https://arxiv.org/abs/0712.2737
ID  - 0712.2737
ER  -