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