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.
@inproceedings{BaumgartnerEF00,
title = {A Confluent Connection Calculus},
author = {Peter Baumgartner and Norbert Eisinger and Ulrich Furbach},
year = {2000},
researchr = {https://researchr.org/publication/BaumgartnerEF00},
cites = {0},
citedby = {0},
pages = {3-26},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)},
editor = {Steffen Hölldobler},
volume = {19},
series = {Applied Logic Series},
publisher = {Kluwer},
isbn = {0-7923-6261-6},
}