Theory Reasoning in Connection Calculi - Peter Baumgartner ((Lecture Notes in Computer Science))