@inproceedings{d5ee4b7a193049a4bbc81461fe4b0d69,
title = "Compilative Constructive Negation in Constraint Logic Programs",
author = "Paola Bruscoli and Francesca Levi and Giorgio Levi and Meo, {Maria Chiara}",
year = "1994",
month = dec,
day = "31",
language = "English",
volume = "787",
series = "LNCS",
publisher = "Springer Verlag",
pages = "52--67",
editor = "Sophie Tyson",
booktitle = "Proceedings of the Colloquium on Trees in Algebra and Programming, CAAP '94, Edinburgh (Scotland)",
edition = "Lecture Notes in Computer Science",
}