selected publications academic article Towards a connection machine for logical inference. Future Generation Computer Systems. 1985