BibTeX record conf/krdb/Kiringa01

download as .bib file

@inproceedings{DBLP:conf/krdb/Kiringa01,
  author    = {Iluju Kiringa},
  title     = {Towards a General Theory of Advanced Transaction Models in the Situation
               Calculus},
  booktitle = {Proceedings of the 8th International Workshop on Knowledge Representation
               meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001},
  year      = {2001},
  crossref  = {DBLP:conf/krdb/2001},
  url       = {http://ceur-ws.org/Vol-45/10-kiringa.ps},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/krdb/Kiringa01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/krdb/2001,
  editor    = {Maurizio Lenzerini and
               Daniele Nardi and
               Werner Nutt and
               Dan Suciu},
  title     = {Proceedings of the 8th International Workshop on Knowledge Representation
               meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {45},
  publisher = {CEUR-WS.org},
  year      = {2001},
  url       = {http://ceur-ws.org/Vol-45},
  urn       = {urn:nbn:de:0074-45-6},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/krdb/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}