A Rewriting Logic for Declarative Programming.

Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo

Browse the full ESOP paper archive.