Constraint satisfaction, irredundant axiomatisability and continuous colouring
scientific article; zbMATH DE number 6199438
scientific article