@book{16133, author = {Libkin, Leonid.}, title = {Elements of finite model theory /}, publisher = {Springer,}, year = {c2010.}, series = {Texts in theoretical computer science}, address = {Berlin ;}, url = {http://www.loc.gov/catdir/enhancements/fy0818/2004105855-b.html} }