Volver atrás Publicación
Alpuente Frasnedo María, Ballis Demis, Espert Real Javier, Romero Daniel Omar
2011
Backward Trace Slicing for Rewriting Logic Theories
