@inproceedings{PODS-1996-BenediktGL,
	author        = "Michael Benedikt and Timothy Griffin and Leonid Libkin",
	booktitle     = "{Proceedings of the 15th Symposium on Principles of Database Systems}",
	doi           = "10.1145/237661.237692",
	isbn          = "0-89791-781-2",
	pages         = "117--127",
	publisher     = "{ACM Press}",
	title         = "{Verifiable Properties of Database Transactions}",
	year          = 1996,
}