Günter Hornung, Anfried Knapp, Ulrike Knapp. A Parallel Connection Graph Proof Procedure. In Jörg H. Siekmann, editor, GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Volume 47 of Informatik-Fachberichte, pages 160-167, Springer, 1981.
@inproceedings{HornungKK81, title = {A Parallel Connection Graph Proof Procedure}, author = {Günter Hornung and Anfried Knapp and Ulrike Knapp}, year = {1981}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/HornungKK81}, cites = {0}, citedby = {0}, pages = {160-167}, booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings}, editor = {Jörg H. Siekmann}, volume = {47}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-10859-9}, }