Matteo Baldoni, Laura Giordano, Alberto Martelli
A Multimodal Logic to Define Modules in Logic Programming
ICLP, 1993.
@inproceedings{ILPS-1993-BaldoniGM,
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63152-0",
pages = "473--487",
publisher = "{MIT Press}",
title = "{A Multimodal Logic to Define Modules in Logic Programming}",
year = 1993,
}