Andrei A. Krokhin
The Complexity of Evaluating First-Order Sentences over a Fixed Structure
LICS, 2011.
@inproceedings{LICS-2011-Krokhin, author = "Andrei A. Krokhin", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.51", isbn = "978-0-7695-4412-0", pages = "331", publisher = "{IEEE Computer Society}", title = "{The Complexity of Evaluating First-Order Sentences over a Fixed Structure}", year = 2011, }