Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
scientific article; zbMATH DE number 6037901