| |
| 1995 | ||
|---|---|---|
| 2 | María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995) | |
| 1992 | ||
| 1 | María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457 | |
| 1 | María Alpuente | [1] [2] |
| 2 | Moreno Falaschi | [1] [2] |