Efficient algorithms on the Moore family associated to an implicational system.
Page 1
Bertet, Karell, Nebut, Mirabelle (2004)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Johnson, Michael, Rosebrugh, Robert, Wood, R.J. (2002)
Theory and Applications of Categories [electronic only]
Page 1