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