Zaitsev, D., & Grigoriev, O. (2010). Relevant generalization starts here (and here = 2). Logic and Logical Philosophy, 19(4), 329–340. https://doi.org/10.12775/LLP.2010.012