Compositionality in SLD-Derivations and their Abstractions

Marco Comini, Giorgio Levi, Maria Chiara Meo. Compositionality in SLD-Derivations and their Abstractions. In ILPS. pages 561-575, 1995.

Abstract

Abstract is missing.