@Article{Tronci1996,
author="Tronci, Enrico",
title="Equational Programming in Lambda-Calculus via SL-Systems. Part 2",
journal="Theoretical Computer Science",
year="1996",
volume="160",
number="1{\&}2",
pages="185--216",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=55), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1016/0304-3975(95)00106-9",
opturl="https://doi.org/10.1016/0304-3975(95)00106-9",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1996a.pdf:PDF"
}