Use of partial substitutions for time decomposition of Boolean functions and generalized graph schemes of algorithms
scientific article; zbMATH DE number 3875162
scientific article