You are here

Compositionality properties of ıt SLD-derivations

M. Comini and Meo, M. C., “Compositionality properties of ıt SLD-derivations”, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.