Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming | Publicación