"Transitive Closure and Related Properties via Eliminants, Theor. Comp. Sci V40 No. 2,3 (1985)" - читать интересную книгу автора (Kamal Abdali, David Sauders)