@inproceedings{PODS-2003-KiferGBW,
	author        = "Daniel Kifer and Johannes Gehrke and Cristian Bucila and Walker M. White",
	booktitle     = "{Proceedings of the 22nd Symposium on Principles of Database Systems}",
	doi           = "10.1145/773153.773180",
	isbn          = "1-58113-670-6",
	pages         = "272--283",
	publisher     = "{ACM}",
	title         = "{How to quickly find a witness}",
	year          = 2003,
}