Leonid Libkin. The finite model theory toolbox of a database theoretician. In Jan Paredaens, Jianwen Su, editors, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA. pages 65-76, ACM, 2009. [doi]
@inproceedings{Libkin09, title = {The finite model theory toolbox of a database theoretician}, author = {Leonid Libkin}, year = {2009}, doi = {10.1145/1559795.1559807}, url = {http://doi.acm.org/10.1145/1559795.1559807}, tags = {database}, researchr = {https://researchr.org/publication/Libkin09}, cites = {0}, citedby = {0}, pages = {65-76}, booktitle = {Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA}, editor = {Jan Paredaens and Jianwen Su}, publisher = {ACM}, isbn = {978-1-60558-553-6}, }