"Critical pair completion integration algorithm" - читать интересную книгу автора (Norman.)