Peter Baumgartner Norbert Eisinger Ulrich Furbach A Confluent Connection Calculus. 3-26 2000 conf/birthday/Bibel2000 Intellectics and Computational Logic db/conf/birthday/bibel2000.html#BaumgartnerEF00