Cialdea Mayer, Marta A prover dealing with nominals, binders, transitivity and relation hierarchies. (English) Zbl 1468.68285 J. Autom. Reasoning 64, No. 1, 135-165 (2020). MSC: 68V15 03B35 03B45 PDFBibTeX XMLCite \textit{M. Cialdea Mayer}, J. Autom. Reasoning 64, No. 1, 135--165 (2020; Zbl 1468.68285) Full Text: DOI Link
Bolander, Thomas; Blackburn, Patrick Termination for hybrid tableaus. (English) Zbl 1140.03005 J. Log. Comput. 17, No. 3, 517-554 (2007). Reviewer: Nail Zamov (Kazan) MSC: 03B35 03B25 03B45 PDFBibTeX XMLCite \textit{T. Bolander} and \textit{P. Blackburn}, J. Log. Comput. 17, No. 3, 517--554 (2007; Zbl 1140.03005) Full Text: DOI