Andrei A. Kuzichev Translations of Logical Formulas and the Equiconsistency Problem. 44-50 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Kuzichev94