Applications of intuitionistic logic in Answer Set Programming | Publicación