Calcul des idéaux d'un ordonné finiJ.-P. BordatRAIRO-Oper. Res., 25 3 (1991) 265-275DOI: https://doi.org/10.1051/ro/1991250302651