@misc{indiciae8b1e7a0bf32f,
  title = {A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time},
  author = {Flavio Ferrarotti and Senen Gonzáles and Klaus-Dieter Schewe and José María Turull-Torres},
  year = {2019},
  url = {https://arxiv.org/abs/1912.00010},
  note = {Source identifier: 1912.00010}
}