Francez, N. “Does the Implication Elimination Rule Need a Minor Premise?”. Logic and Logical Philosophy, vol. 27, no. 3, July 2017, pp. 351-73, doi:10.12775/LLP.2017.019.