Michael Benedikt, Leonid Libkin. Expressive Power: The Finite Case. In Constraint Databases. pages 55-87, 2000.
@inproceedings{BenediktL00, title = {Expressive Power: The Finite Case}, author = {Michael Benedikt and Leonid Libkin}, year = {2000}, researchr = {https://researchr.org/publication/BenediktL00}, cites = {0}, citedby = {0}, pages = {55-87}, booktitle = {Constraint Databases}, }