TY  - RPRT
TI  - The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance.
AU  - M De Maeyer
AU  - J Desmet
AU  - I Lasters
PY  - 2000
DO  - 10.1385/1-59259-368-2:265
UR  - https://pubmed.ncbi.nlm.nih.gov/11084910/
ID  - 11084910
ER  -