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 |