Compositionality of SLD-derivations and their abstractions

COMINI, Marco

LEVI G

MEO M. C.