Algorithms and computations for (m, n)-fold p-ideals in BCI-algebras. - A. Kordi; Ahmad Moussavi; A. Ahmadi (J. Appl. Log., 2010)