| Title | An Incremental Technique for Automata-Based Decision Procedures |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Ünel, G., and D. Toman |
| Conference Name | Conference on Automated Deduction (CADE) |
| DOI | 10.1007/978-3-540-73595-3_8 |
| Title | An Incremental Technique for Automata-Based Decision Procedures |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Ünel, G., and D. Toman |
| Conference Name | Conference on Automated Deduction (CADE) |
| DOI | 10.1007/978-3-540-73595-3_8 |
