A rewriting logic for declarative programming (1996)

by J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M Rodríguez-Artalejo
Venue:In Proc. ESOP’96