An approach to declarative programming based on a rewriting logic (1999)

by J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M Rodríguez-Artalejo
Venue:HAB + 13] [Han13