@inproceedings{DBLP:conf/vldb/KorthLS90,
  author    = {Henry F. Korth and
               Eliezer Levy and
               Abraham Silberschatz},
  title     = {A Formal Approach to Recovery by Compensating Transactions},
  booktitle = {VLDB},
  year      = {1990},
  pages     = {95-106},
  ee        = {http://www.vldb.org/conf/1990/P095.PDF},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vldb/90,
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {16th International Conference on Very Large Data Bases,
               August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}