Gödel algebras free over finite distributive lattices
scientific article; zbMATH DE number 5365123