Hidalgo-Doblado, M. J.; Alonso-Jiménez, J. A.; Borrego-Díaz, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L. Formally verified tableau-based reasoners for a description logic. (English) Zbl 1314.68282 J. Autom. Reasoning 52, No. 3, 331-360 (2014). MSC: 68T15 68Q60 68T27 PDFBibTeX XMLCite \textit{M. J. Hidalgo-Doblado} et al., J. Autom. Reasoning 52, No. 3, 331--360 (2014; Zbl 1314.68282) Full Text: DOI Link
Ripon, Shamim H.; Butler, Michael J. PVS embedding of cCSP semantic models and their relationship. (English) Zbl 1335.68129 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 103-118 (2009). MSC: 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. H. Ripon} and \textit{M. J. Butler}, Electron. Notes Theor. Comput. Sci. 250, No. 2, 103--118 (2009; Zbl 1335.68129) Full Text: DOI
Hesselink, Wim H. Universal extensions to simulate specifications. (English) Zbl 1133.68044 Inf. Comput. 206, No. 1, 108-128 (2008). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Inf. Comput. 206, No. 1, 108--128 (2008; Zbl 1133.68044) Full Text: DOI Link