@misc{indiciae9b5dba03c4b3,
  title = {Descriptive complexity of graph spectra},
  author = {Anuj Dawar and Simone Severini and Octavio Zapata},
  year = {2016},
  doi = {10.1007/978-3-662-52921-8\_12},
  url = {https://arxiv.org/abs/1603.07030},
  note = {Source identifier: 1603.07030}
}