| Title | Logic Programming Approach to Automata-Based Decision Procedures |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Ünel, G., and D. Toman |
| Conference Name | International Conference on Logic Programming (ICLP) |
| DOI | 10.1007/978-3-540-74610-2_12 |
