Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions
ICLP, 1987.
@inproceedings{SLP-1987-LeviPBGM87,
author = "Giorgio Levi and Catuscia Palamidessi and Pier Giorgio Bosco and Elio Giovannetti and Corrado Moiso",
booktitle = "{Proceedings of the Fourth Symposium on Logic Programming}",
isbn = "0-8186-0799-8",
pages = "318--327",
publisher = "{IEEE-CS}",
title = "{A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions}",
year = 1987,
}