Analyses of inconsistency for incremental equational logic programming | Publicación