Zaitsev, D., and O. Grigoriev. “Relevant Generalization Starts Here (and Here = 2)”. Logic and Logical Philosophy, vol. 19, no. 4, Dec. 2010, pp. 329-40, doi:10.12775/LLP.2010.012.