Theory reasoning in connection calculi - Baumgartner, Peter, 1962- (Lecture notes in computer science ;, 1998)