Francez, N. (2017) “Does the Implication Elimination Rule Need a Minor Premise?”, Logic and Logical Philosophy, 27(3), pp. 351–373. doi: 10.12775/LLP.2017.019.