Theory Reasoning in Connection Calculi door C. Be'er, Peter Baumgartner & C. Beeri