Compositionality Properties of ::::SLD::::-Derivations

Marco Comini, Maria Chiara Meo. Compositionality Properties of ::::SLD::::-Derivations. Theoretical Computer Science, 211(1-2):275-309, 1999. [doi]

Bibliographies