DBLP Record 'conf/rules/ComaiT97'

BibTeX

@inproceedings{DBLP:conf/rules/ComaiT97,
  author    = {Sara Comai and
               Letizia Tanca},
  title     = {Using the Properties of Datalog to Prove Termination and
               Confluence in Active Databases},
  booktitle = {Rules in Database Systems},
  year      = {1997},
  pages     = {100-117},
  crossref  = {DBLP:conf/rules/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rules/1997,
  editor    = {Andreas Geppert and
               Mikael Berndtsson},
  title     = {Rules in Database Systems, Third International Workshop,
               RIDS '97, Sk{\"o}vde, Sweden, June 26-28, 1997, Proceedings},
  booktitle = {Rules in Database Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1312},
  year      = {1997},
  isbn      = {3-540-63516-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}