Normalisation and subformula property for a system of classical logic with Tarski's rule
scientific article; zbMATH DE number 7495456