Implicit induction in conditional theories
scientific article; zbMATH DE number 759357
scientific article