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