Solving problems on finite concrete logics with the help of a PC
scientific article; zbMATH DE number 1196983