TY  - RPRT
TI  - Computing Abstract Distances in Logic Programs
AU  - Ignacio Casso
AU  - Jose F. Morales
AU  - Pedro Lopez-Garcia
AU  - Manuel V. Hermenegildo
PY  - 2019
UR  - https://arxiv.org/abs/1907.13263
ID  - 1907.13263
ER  -