BibTeX record conf/ijcai/BoothMV09

download as .bib file

@inproceedings{DBLP:conf/ijcai/BoothMV09,
  author    = {Richard Booth and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Next Steps in Propositional Horn Contraction},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {702--707},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/122.pdf},
  timestamp = {Tue, 20 Aug 2019 16:18:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BoothMV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics