"Theory Reasoning in Connection Calculi " - читать интересную книгу автора (Peter Baumgartner)