Analyses of unsatisfiability for equational logic programming

Alpuente Frasnedo María, FALASCHI M., MANZO F.

1995

The Journal of Logic Programming