@misc{indiciaef1a3c07a61cc,
  title = {Separating the complexity classes NL and NP},
  author = {David B. Benson},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0004009},
  note = {Source identifier: cs/0004009}
}