%0 Conference Paper %1 conf/slp/BaldoniGM93 %A Baldoni, Matteo %A Giordano, Laura %A Martelli, Alberto %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 473-487 %T A Multimodal Logic to Define Modules in Logic Programming. %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#BaldoniGM93 %@ 0-262-63152-0

@inproceedings{conf/slp/BaldoniGM93, added-at = {2016-04-01T00:00:00.000+0200}, author = {Baldoni, Matteo and Giordano, Laura and Martelli, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/23d234c7aa596ffb1824354c9b39b9fcd/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {ccbdd9773ec3b1e082a66ef909b93cd2}, intrahash = {3d234c7aa596ffb1824354c9b39b9fcd}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = {473-487}, publisher = {MIT Press}, timestamp = {2016-04-02T11:42:51.000+0200}, title = {A Multimodal Logic to Define Modules in Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#BaldoniGM93}, year = 1993 }