Laura Giordano, Alberto Martelli. Structuring Logic Programs: A Modal Approach. Journal of Logic and Algebraic Programming, 21(2):59-94, 1994.
@article{GiordanoM94:1,
title = {Structuring Logic Programs: A Modal Approach},
author = {Laura Giordano and Alberto Martelli},
year = {1994},
tags = {modal logic, logic programming, logic, systematic-approach},
researchr = {https://researchr.org/publication/GiordanoM94%3A1},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {21},
number = {2},
pages = {59-94},
}