On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi. - Dorothy Bollman; M. Tapia (Notre Dame J. Formal Log., 1972)