Analyses of unsatisfiability for equational logic programming | Publicación