Marco Bellia Logic and Functional Programming by Retractions. 271-310 1988 22 ITA 3 db/journals/ita/ita22.html#Bellia88