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 RodŕıguezArtalejo
Venue:Journal of Logic Programming