@misc{indiciae37ba5c9deef3,
  title = {On the complexity of the correctness problem for non-zeroness test instruction sequences},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2019},
  doi = {10.1016/j.tcs.2019.03.040},
  url = {https://arxiv.org/abs/1805.05845},
  note = {Source identifier: 1805.05845}
}