@misc{indiciae387ca45a26d2,
  title = {The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance.},
  author = {M De Maeyer and J Desmet and I Lasters},
  year = {2000},
  doi = {10.1385/1-59259-368-2:265},
  url = {https://pubmed.ncbi.nlm.nih.gov/11084910/},
  note = {Source identifier: 11084910}
}