Bonacina, Maria Paola; Dershowitz, Nachum Canonical ground Horn theories. (English) Zbl 1383.03042 Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 35-71 (2013). MSC: 03B70 03B35 68Q42 PDFBibTeX XMLCite \textit{M. P. Bonacina} and \textit{N. Dershowitz}, Lect. Notes Comput. Sci. 7797, 35--71 (2013; Zbl 1383.03042) Full Text: DOI
Ronse, Christian The poset of closure systems on an infinite poset: detachability and semimodularity. (English) Zbl 1210.06002 Port. Math. (N.S.) 67, No. 4, 437-452 (2010). MSC: 06A15 06C10 PDFBibTeX XMLCite \textit{C. Ronse}, Port. Math. (N.S.) 67, No. 4, 437--452 (2010; Zbl 1210.06002) Full Text: DOI
Bonacina, Maria Paola; Dershowitz, Nachum Canonical inference for implicational systems. (English) Zbl 1165.03309 Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 380-395 (2008). MSC: 03B35 68Q42 PDFBibTeX XMLCite \textit{M. P. Bonacina} and \textit{N. Dershowitz}, Lect. Notes Comput. Sci. 5195, 380--395 (2008; Zbl 1165.03309) Full Text: DOI
Leclerc, Bruno The median procedure in the semilattice of orders. (English) Zbl 1026.06006 Discrete Appl. Math. 127, No. 2, 285-302 (2003). MSC: 06A12 91B14 06A06 PDFBibTeX XMLCite \textit{B. Leclerc}, Discrete Appl. Math. 127, No. 2, 285--302 (2003; Zbl 1026.06006) Full Text: DOI