id: 70218439
dt: a
an: 70218439
au: Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
ti: Compositionality in SLD-derivations and their abstractions
so: GULP-PRODE, 533-544 (1995).
py: 1995
pu: 
la: EN
cc: 
ut: 
ci: 
li: