BibTeX record conf/agp/BuccafurriLR96

download as .bib file

@inproceedings{DBLP:conf/agp/BuccafurriLR96,
  author       = {Francesco Buccafurri and
                  Nicola Leone and
                  Pasquale Rullo},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {Computing Disjunctive Ordered Logic},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {283--294},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 11:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BuccafurriLR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics