Volver atrás Publicación
Alpuente Frasnedo María, Ballis Demis, Frechina Navarro Francisco, Romero Daniel Omar
2012
Backward Trace Slicing for Conditional Rewrite Theories