DBLP BibTeX Record 'conf/icde/KaradimceU96'

@inproceedings{DBLP:conf/icde/KaradimceU96,
  author    = {Anton P. Karadimce and
               Susan Darling Urban},
  title     = {Refined Triggering Graphs: A Logic-Based Approach to Termination
               Analysis in an Active Object-Oriented Database},
  booktitle = {ICDE},
  year      = {1996},
  pages     = {384-391},
  ee        = {http://dx.doi.org/10.1109/ICDE.1996.492187, http://doi.ieeecomputersociety.org/10.1109/ICDE.1996.492187},
  crossref  = {DBLP:conf/icde/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icde/96,
  editor    = {Stanley Y. W. Su},
  title     = {Proceedings of the Twelfth International Conference on Data
               Engineering, February 26 - March  1, 1996, New Orleans,
               Louisiana},
  publisher = {IEEE Computer Society},
  year      = {1996},
  isbn      = {0-8186-7240-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}