author = {W. Bibel and B. Buchberger},
title = {{Towards a Connection Machine for Logical Inference}},
booktitle = {{Fifth Generation and Supercomputer Conference, Rotterdam}},
language = {english},
pages = {177--188},
isbn_issn = {-},
year = {1984},
month = {December},
annote = {1984-12-00-A},
note = {( Appeared in Future Generation Computer Systems 1/3)},
editor = {-},
refereed = {yes},
length = {11}