%0 Conference Paper %1 conf/lopstr/PasarellaOPN05 %A Pasarella, Edelmira %A Orejas, Fernando %A Pino, Elvira %A Navarro, Marisa %B LOPSTR %D 2005 %E Hill, Patricia M. %I Springer %K dblp %P 133-146 %T A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2005.html#PasarellaOPN05 %V 3901 %@ 3-540-32654-5

@inproceedings{conf/lopstr/PasarellaOPN05, added-at = {2017-06-15T00:00:00.000+0200}, author = {Pasarella, Edelmira and Orejas, Fernando and Pino, Elvira and Navarro, Marisa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fab1e2b5f2090268bb24a0d6ac5bfca0/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2005}, editor = {Hill, Patricia M.}, ee = {https://doi.org/10.1007/11680093_9}, interhash = {b23b508d07e84d8ea3baa8ac35a39b61}, intrahash = {fab1e2b5f2090268bb24a0d6ac5bfca0}, isbn = {3-540-32654-5}, keywords = {dblp}, pages = {133-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:25:19.000+0200}, title = {A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2005.html#PasarellaOPN05}, volume = 3901, year = 2005 }