The substitution interpretation and the expressive power of intensional logics
scientific article; zbMATH DE number 3564942