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