A typed resolution principle for deduction with conditional typing theory
scientific article; zbMATH DE number 1863781