%0 Conference Paper %1 conf/iclp/BaldoniG94 %A Baldoni, Matteo %A Giordano, Laura %A Martelli, Alberto %B ICLP Workshop: Proof-Theoretical Extensions on Logic Programming %D 1994 %E Dyckhoff, Roy %E Eriksson, Lars-Henrik %E Momigliano, Alberto %E Ornaghi, Mario %K dblp %T A Modal Extension of Logic Programming. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#BaldoniG94

@inproceedings{conf/iclp/BaldoniG94, added-at = {2016-04-01T00:00:00.000+0200}, author = {Baldoni, Matteo and Giordano, Laura and Martelli, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2172e082a8e3729798cc8c5049b69e798/dblp}, booktitle = {ICLP Workshop: Proof-Theoretical Extensions on Logic Programming}, crossref = {conf/iclp/1994w10}, editor = {Dyckhoff, Roy and Eriksson, Lars-Henrik and Momigliano, Alberto and Ornaghi, Mario}, interhash = {dbda0026ba0af3f26f9511cc37166a07}, intrahash = {172e082a8e3729798cc8c5049b69e798}, keywords = {dblp}, timestamp = {2016-04-02T11:44:15.000+0200}, title = {A Modal Extension of Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#BaldoniG94}, year = 1994 }