An Approach to Declarative Programming Based on a Rewriting Logic

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic and Algebraic Programming, 40(1):47-87, 1999.

Abstract

Abstract is missing.