On the likelihood of normalization in combinatory logic. - BENDKOWSKI, MACIEJ; GRYGIEL, KATARZYNA; ZAIONC, MAREK (Journal of Logic & Computation, 2017)