On-line computations of the ideal lattice of posets Claude Jard, Guy-Vincent Jourdan, Jean-Xavier Rampon (1995) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications