A new type of computer for problems in propositional logic, with greatly reduced scanning procedures
- 30 September 1961
- journal article
- Published by Elsevier in Information and Control
- Vol. 4 (2-3) , 155-168
- https://doi.org/10.1016/s0019-9958(61)80004-1