María Alpuente, Moreno Falaschi, Ferdinando Manzo. Analyses of Unsatisfiability for Equational Logic Programming. Journal of Logic and Algebraic Programming, 22(3):223-254, 1995.
@article{AlpuenteFM95,
title = {Analyses of Unsatisfiability for Equational Logic Programming},
author = {María Alpuente and Moreno Falaschi and Ferdinando Manzo},
year = {1995},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/AlpuenteFM95},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {22},
number = {3},
pages = {223-254},
}