@misc{indiciaebc77e0be02a8,
  title = {Sequence encoding without induction},
  author = {Emil Jeřábek},
  year = {2012},
  doi = {10.1002/malq.201200013},
  url = {https://arxiv.org/abs/1201.5835},
  note = {Source identifier: 1201.5835}
}