Finding the subsets of variables of a partial Boolean function which are sufficient for its implementation in the classes defined by predicates

From MaRDI portal
Publication:5090147