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íguezArtalejo
Venue:Journal of Logic Programming