N. Francez, “Does the Implication Elimination Rule Need a Minor Premise?”, LLP, vol. 27, no. 3, pp. 351–373, Jul. 2017.