Moussa, A. S.,  "The Logical Implication Table in Binary Propositional Calculus: Justification, Proof Automatability, and Effect on Scientific Reasoning",  The International Journal of Computer Science: Theory and Application, vol. 1, no. 2: ORB Academic Publisher, pp. 18?24, 2014.