1. Automated Theorem Proving;Bibel,1982
2. Deduktionsverfahren;Bibel,1982
3. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
4. Bulk Processing in Distributed Logic Memory;Crane;IEEE Trans. on Electronic Computers EC-14,1965
5. Design Techniques of a Delayline Content-Addressed Memory;Corfut;IEEE Trans. on Electronic Computers EC-15,1966