A Confluent Connection Calculus

Peter Baumgartner, Norbert Eisinger, Ulrich Furbach. A Confluent Connection Calculus. In Steffen Hölldobler, editor, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Volume 19 of Applied Logic Series, pages 3-26, Kluwer, 2000.

Abstract

Abstract is missing.