Multi-valued logic and Gröbner bases with applications to modal logic
scientific article; zbMATH DE number 4202244
scientific article