Matteo Baldoni, Laura Giordano, Alberto Martelli
A Framework for a Modal Logic Programming
ICLP, 1996.
@inproceedings{JICSLP-1996-BaldoniGM,
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli",
booktitle = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}",
isbn = "0-262-63173-3",
pages = "52--66",
publisher = "{MIT Press}",
title = "{A Framework for a Modal Logic Programming}",
year = 1996,
}