Theory Reasoning in Connection Calculi | lit.salon