Logic programming approach to automata-based decision procedures.

TitleLogic programming approach to automata-based decision procedures.
Publication TypeJournal Article
Year of Publication2017
JournalJ. Log. Algebr. Meth. Program.
Volume86
Pagination391–407
DOI10.1016/j.jlamp.2016.02.005