BibTeX record conf/agp/Munoz-Hernandez02a

download as .bib file

@inproceedings{DBLP:conf/agp/Munoz-Hernandez02a,
  author    = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
               Juan Jos{\'{e}} Moreno{-}Navarro},
  editor    = {Juan Jos{\'{e}} Moreno{-}Navarro and
               Julio Mari{\~{n}}o{-}Carballo},
  title     = {Constructive negation for Prolog: {A} real implementation},
  booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
               APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
  pages     = {39--52},
  publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
               de Madrid},
  year      = {2002},
  url       = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_39.pdf},
  timestamp = {Thu, 12 Mar 2020 11:39:33 +0100},
  biburl    = {https://dblp.org/rec/conf/agp/Munoz-Hernandez02a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics