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