Volver atrás Publicación
M. Falaschi, LEVI G., Ramírez Quintana María José
1992
Conditional Narrowing with Constructive Negation for Equational Logic Programming