"Simplification of multiple-valued functions (DISCO92, LNCS 721)" - читать интересную книгу автора (Bradford.)