Proof-finding Algorithms for Classical and Subclassical Propositional Logics. - Martin W. Bunder; R. M. Rizkalla (Notre Dame J. Formal Log., 2009)