Efficient algorithms on the Moore family associated to an implicational system. Bertet, Karell; Nebut, Mirabelle — 2004 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]