Francez, N. Does the Implication Elimination Rule Need a Minor Premise?. LLP 2017, 27, 351-373.