Volver atrás Publicación
Alpuente Frasnedo María, MICHELE BAGGI, DEMIS BALLIS, M. Falaschi
2010
Completeness of Unfolding for Rewriting Logic Theories