On computation of Boolean involutive bases
scientific article; zbMATH DE number 5790944
scientific article