Applications of Intuitionistic Logic in Answer Set Programming | Publicación