1. A. Atserias , A. Dawar , and J. Ochremiak . 2019 . On the Power of Symmetric Linear Programs. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS. 1–13 . https://doi.org/10.1109/LICS. 2019 .8785792 A. Atserias, A. Dawar, and J. Ochremiak. 2019. On the Power of Symmetric Linear Programs. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS. 1–13. https://doi.org/10.1109/LICS.2019.8785792
2. An optimal lower bound on the number of variables for graph identification
3. The nature and power of fixed-point logic with counting
4. H-D. Ebbinghaus and J. Flum. 1999. Finite Model Theory(2nd ed.). Springer. H-D. Ebbinghaus and J. Flum. 1999. Finite Model Theory(2nd ed.). Springer.
5. Tree canonization and transitive closure