Wolfgang Bibel, Bruno Buchberger. Towards a connection machine for logical inference. Future Generation Comp. Syst., 1(3):177-188, 1985. [doi]
@article{BibelB85, title = {Towards a connection machine for logical inference}, author = {Wolfgang Bibel and Bruno Buchberger}, year = {1985}, doi = {10.1016/0167-739X(85)90019-6}, url = {http://dx.doi.org/10.1016/0167-739X(85)90019-6}, researchr = {https://researchr.org/publication/BibelB85}, cites = {0}, citedby = {0}, journal = {Future Generation Comp. Syst.}, volume = {1}, number = {3}, pages = {177-188}, }