Algorithms and computations for foldedness of P-ideals in BCI-algebras. - Célestin Lélé; Salissou Moutari; M. L. Ndeffo Mbah (J. Appl. Log., 2008)