Marco Comini, Giorgio Levi, Maria Chiara Meo. Compositionality in SLD-derivations and their Abstractions. In María Alpuente, Maria I. Sessa, editors, 1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995. pages 533-544, 1995.
@inproceedings{CominiLM95,
title = {Compositionality in SLD-derivations and their Abstractions},
author = {Marco Comini and Giorgio Levi and Maria Chiara Meo},
year = {1995},
tags = {composition, abstraction},
researchr = {https://researchr.org/publication/CominiLM95},
cites = {0},
citedby = {0},
pages = {533-544},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995},
editor = {María Alpuente and Maria I. Sessa},
}