Beierle, Christoph (ed.); Ragni, Marco (ed.); Stolzenburg, Frieder (ed.); Thimm, Matthias (ed.) Joining formal and cognitive reasoning. (English) Zbl 1515.68026 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 2, 115-119 (2023). MSC: 68-06 03-06 03B42 68T27 00B25 PDFBibTeX XMLCite \textit{C. Beierle} (ed.) et al., J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 2, 115--119 (2023; Zbl 1515.68026) Full Text: Link
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder Computing answers with model elimination. (English) Zbl 1017.03505 Artif. Intell. 90, No. 1-2, 135-176 (1997). MSC: 03B35 68T15 68N17 PDFBibTeX XMLCite \textit{P. Baumgartner} et al., Artif. Intell. 90, No. 1--2, 135--176 (1997; Zbl 1017.03505) Full Text: DOI