BibTeX record conf/kr/CalvaneseGLV00

download as .bib file

@inproceedings{DBLP:conf/kr/CalvaneseGLV00,
  author    = {Diego Calvanese and
               Giuseppe {De Giacomo} and
               Maurizio Lenzerini and
               Moshe Y. Vardi},
  title     = {Containment of Conjunctive Regular Path Queries with Inverse},
  booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000.},
  pages     = {176--185},
  year      = {2000},
  crossref  = {DBLP:conf/kr/2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/CalvaneseGLV00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}