Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
amalgamable varieties of pseudo-Boolean algebras
scientific article; zbMATH DE number 3641418