Reducibility by Zhegalkin-linear tables
recursively enumerable classes of Boolean functions
scientific article; zbMATH DE number 3711949