K. Aspetsberger, Stefan Bayerl. Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 46-55, Springer, 1985.
@inproceedings{AspetsbergerB85, title = {Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine}, author = {K. Aspetsberger and Stefan Bayerl}, year = {1985}, tags = {logic}, researchr = {https://researchr.org/publication/AspetsbergerB85}, cites = {0}, citedby = {0}, pages = {46-55}, booktitle = {GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings}, editor = {Herbert Stoyan}, volume = {118}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-16451-0}, }