%0 Conference Paper %1 conf/elp/BaldoniGM96 %A Baldoni, Matteo %A Giordano, Laura %A Martelli, Alberto %B ELP %D 1996 %E Dyckhoff, Roy %E Herre, Heinrich %E Schroeder-Heister, Peter %I Springer %K dblp %P 19-33 %T Translating a Modal Language with Embedded Implication into Horn Clause Logic. %U http://dblp.uni-trier.de/db/conf/elp/elp96.html#BaldoniGM96 %V 1050 %@ 3-540-60983-0

@inproceedings{conf/elp/BaldoniGM96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Baldoni, Matteo and Giordano, Laura and Martelli, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/250c903f458e24ded2b79fdbc3593390c/dblp}, booktitle = {ELP}, crossref = {conf/elp/1996}, editor = {Dyckhoff, Roy and Herre, Heinrich and Schroeder-Heister, Peter}, ee = {https://doi.org/10.1007/3-540-60983-0_2}, interhash = {21c257f185160f4998efc18ac06b8e5e}, intrahash = {50c903f458e24ded2b79fdbc3593390c}, isbn = {3-540-60983-0}, keywords = {dblp}, pages = {19-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:30:25.000+0200}, title = {Translating a Modal Language with Embedded Implication into Horn Clause Logic.}, url = {http://dblp.uni-trier.de/db/conf/elp/elp96.html#BaldoniGM96}, volume = 1050, year = 1996 }