Laura Giordano, Alberto Martelli
A Modal Reconstruction of Blocks and Modules in Logic Programming
ICLP, 1991.
@inproceedings{ISLP-1991-GiordanoM,
author = "Laura Giordano and Alberto Martelli",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "239--253",
publisher = "{MIT Press}",
title = "{A Modal Reconstruction of Blocks and Modules in Logic Programming}",
year = 1991,
}