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