TY  - RPRT
TI  - Abstract Solvers for Computing Cautious Consequences of ASP programs
AU  - Giovanni Amendola
AU  - Carmine Dodaro
AU  - Marco Maratea
PY  - 2019
DO  - 10.1017/s1471068419000164
UR  - https://arxiv.org/abs/1907.09402
ID  - 1907.09402
ER  -