Logic Programming Approach to Automata-Based Decision Procedures

TitleLogic Programming Approach to Automata-Based Decision Procedures
Publication TypeJournal Article
Year of Publication2017
AuthorsÜnel, G., and D. Toman
JournalJournal of Logic Programming
Volume86
Issue1
Pagination391--407
DOI10.1016/j.jlamp.2016.02.005