@misc{indiciae567143254353,
  title = {Theoretical and algorithmical optimization of the dead-end elimination theorem.},
  author = {J Desmet and M De Maeyer and I Lasters},
  year = {1997},
  url = {https://pubmed.ncbi.nlm.nih.gov/9390285/},
  note = {Source identifier: 9390285}
}