publication venue for Algorithms and computations for foldedness of P-ideals in BCI-algebras. 6:580-588. 2008