Sofie Verbaeten, Marc Denecker, Danny De Schreye
Compositionality of Normal Open Logic Programs
ICLP, 1997.
@inproceedings{ILPS-1997-VerbaetenDS,
author = "Sofie Verbaeten and Marc Denecker and Danny De Schreye",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63180-6",
pages = "371--385",
publisher = "{MIT Press}",
title = "{Compositionality of Normal Open Logic Programs}",
year = 1997,
}











