Unel, Gulay; Toman, David Logic programming approach to automata-based decision procedures. (English) Zbl 1353.68039 J. Log. Algebr. Methods Program. 86, No. 1, 391-407 (2017). MSC: 68N17 03B25 03D05 68Q45 PDFBibTeX XMLCite \textit{G. Unel} and \textit{D. Toman}, J. Log. Algebr. Methods Program. 86, No. 1, 391--407 (2017; Zbl 1353.68039) Full Text: DOI
Unel, Gulay; Toman, David Logic programming approach to automata-based decision procedures. (English) Zbl 1213.03018 Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 165-179 (2007). MSC: 03B25 03D05 68N17 68T20 PDFBibTeX XMLCite \textit{G. Unel} and \textit{D. Toman}, Lect. Notes Comput. Sci. 4670, 165--179 (2007; Zbl 1213.03018) Full Text: DOI Link