Volver atrás Publicación
Lucas Alba Salvador
2005
A note on completeness of conditional context-sensitive rewriting