Ohlbach, Hans Jürgen; Koehler, Jana Modal logics, description logics and arithmetic reasoning. (English) Zbl 0916.68148 Artif. Intell. 109, No. 1-2, 1-31 (1999). MSC: 68T27 68N99 PDFBibTeX XMLCite \textit{H. J. Ohlbach} and \textit{J. Koehler}, Artif. Intell. 109, No. 1--2, 1--31 (1999; Zbl 0916.68148) Full Text: DOI
Ohlbach, Hans Jürgen; Köhler, Jana How to augment a formal system with a Boolean algebra component. (English) Zbl 0967.03011 Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 57-75 (1998). MSC: 03B35 03G05 PDFBibTeX XMLCite \textit{H. J. Ohlbach} and \textit{J. Köhler}, Appl. Log. Ser. 10, 57--75 (1998; Zbl 0967.03011)