TY  - RPRT
TI  - ValAsp: a tool for data validation in Answer Set Programming
AU  - Mario Alviano
AU  - Carmine Dodaro
AU  - Arnel Zamayla
PY  - 2022
UR  - https://arxiv.org/abs/2202.09626
ID  - 2202.09626
ER  -