Clive F. Baillie, S. Lennart Johnsson, Luis F. Ortiz, G. Stuart Pawley. QED on the connection machine. In Geoffrey C. Fox, editor, Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications - Architecture, Software, Computer Systems, and General Issues, C³P, Pasadena, California, USA, January 19-20, 1988. pages 1288-1295, ACM, 1988. [doi]
Abstract is missing.