Theory reasoning in connection calculi - Baumgartner, Peter, 1962- (Springer, 1998)