%0 Journal Article
%T Equational Programming in Lambda-Calculus via SL-Systems. Part 2
%A Tronci, Enrico
%J Theoretical Computer Science
%D 1996
%V 160
%N 1&2
%F Tronci1996
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=55), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%R 10.1016/0304-3975(95)00106-9
%U http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1996a.pdf
%U https://doi.org/10.1016/0304-3975(95)00106-9
%P 185-216