TY  - RPRT
TI  - Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
AU  - Joaquín Arias
AU  - Manuel Carro
AU  - Gopal Gupta
PY  - 2021
UR  - https://arxiv.org/abs/2110.12053
ID  - 2110.12053
ER  -