(Q45872529)
Statements
1 reference
The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance (English)
1 reference
De Maeyer M
1 reference
Desmet J
1 reference
Lasters I
1 reference
1 January 2000
1 reference
1 reference
143
1 reference
265-304
1 reference
Identifiers
1 reference