TY  - RPRT
TI  - Theoretical and algorithmical optimization of the dead-end elimination theorem.
AU  - J Desmet
AU  - M De Maeyer
AU  - I Lasters
PY  - 1997
UR  - https://pubmed.ncbi.nlm.nih.gov/9390285/
ID  - 9390285
ER  -