Synonymous theories and knowledge representations in answer set programming | Publicación