BibTeX record conf/sac/AlvezLO04

download as .bib file

@inproceedings{DBLP:conf/sac/AlvezLO04,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  Fernando Orejas},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {Constructive negation by bottom-up computation of literal answers},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {1468--1475},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.968194},
  doi          = {10.1145/967900.968194},
  timestamp    = {Tue, 06 Nov 2018 11:06:46 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/AlvezLO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics