"Techniques for solving boolean equation systems" - читать интересную книгу автора (Keinanen M)