Unification types and union splittings in intermediate logics
scientific article; zbMATH DE number 7921875
scientific article