On Decomposition of Sub-definite Partial Boolean Functions
статья из журнала