A proof-theoretic approach to negative translations in intuitionistic tense logics
scientific article; zbMATH DE number 7595959