Janusz Czelakowski Wieslaw Dziobiak Deduction Theorems Within RM and Its Extensions. 279-290 1999 64 J. Symb. Log. 1 db/journals/jsyml/jsyml64.html#CzelakowskiD99