@misc{RISC2637,
author = {W. Bibel and B. Buchberger},
title = {{Towards a Connection Machine for Logical Inference}},
language = {english},
year = {1984},
month = {December},
annote = {1984-12-00-A},
note = {Invited talk at Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands, (appeared in Future Generation Computer Systems 1/3, pp.177-188)},
conferencename = {Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands, (appeared in Future Generation Computer Systems 1/3, pp.177-188)}
}