Cut-elimination for a logic with definitions and induction
scientific article; zbMATH DE number 1495208
scientific article