Matteo Baldoni, Laura Giordano, Alberto Martelli. A Multimodal Logic to Define Modules in Logic Programming. In ILPS. pages 473-487, 1993.
@inproceedings{BaldoniGM93, title = {A Multimodal Logic to Define Modules in Logic Programming}, author = {Matteo Baldoni and Laura Giordano and Alberto Martelli}, year = {1993}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/BaldoniGM93}, cites = {0}, citedby = {0}, pages = {473-487}, booktitle = {ILPS}, }