Analyses of Inconsistency for Incremental Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (PLILP, 1992)

Analyses of Unsatisfiability for Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (J. Log. Program., 1995)