The Complexity of Evaluating First-Order Sentences over a Fixed Structure | IEEE Conference Publication | IEEE Xplore