@inproceedings{VLDB-1990-KorthLS,
	author        = "Henry F. Korth and Eliezer Levy and Abraham Silberschatz",
	booktitle     = "{Proceedings of the 16th International Conference on Very Large Data Bases}",
	ee            = "http://www.vldb.org/conf/1990/P095.PDF",
	isbn          = "1-55860-149-X",
	pages         = "95--106",
	publisher     = "{Morgan Kaufmann}",
	title         = "{A Formal Approach to Recovery by Compensating Transactions}",
	year          = 1990,
}