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 |