Q-tableaux for Implicational Propositional Calculus - P. L. Robinson (2015)