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 PDF BibTeX XML Cite \textit{M. P. Bonacina} and \textit{N. Dershowitz}, Lect. Notes Comput. Sci. 7797, 35--71 (2013; Zbl 1383.03042) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Ronse}, Port. Math. (N.S.) 67, No. 4, 437--452 (2010; Zbl 1210.06002) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. Leclerc}, Discrete Appl. Math. 127, No. 2, 285--302 (2003; Zbl 1026.06006) Full Text: DOI OpenURL