Ben-David, Shoham; Trefler, Richard; Weddell, Grant Model checking using description logic. (English) Zbl 1191.68408 J. Log. Comput. 20, No. 1, 111-131 (2010). MSC: 68Q60 68T27 68T15 68Q85 PDFBibTeX XMLCite \textit{S. Ben-David} et al., J. Log. Comput. 20, No. 1, 111--131 (2010; Zbl 1191.68408) Full Text: DOI
Ben-David, Shoham; Trefler, Richard; Weddell, Grant Bounded model checking with description logic reasoning. (English) Zbl 1132.68465 Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 60-72 (2007). MSC: 68Q60 68Q85 68T27 68T15 PDFBibTeX XMLCite \textit{S. Ben-David} et al., Lect. Notes Comput. Sci. 4548, 60--72 (2007; Zbl 1132.68465) Full Text: DOI