@inproceedings{PODS-2009-Libkin,
	author        = "Leonid Libkin",
	booktitle     = "{Proceedings of the 28th Symposium on Principles of Database Systems}",
	doi           = "10.1145/1559795.1559807",
	isbn          = "978-1-60558-553-6",
	pages         = "65--76",
	publisher     = "{ACM}",
	title         = "{The finite model theory toolbox of a database theoretician}",
	year          = 2009,
}