On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems. - Robert W. House; Tibor Rado (J. ACM, 1963)

Erratum: "On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems". - Robert W. House; Tibor Rado (J. ACM, 1963)

Computer Studies of Turing Machine Problems. - Shen Lin 005; Tibor Rado (J. ACM, 1965)

A Generalization of Nelson's Algorithm for Obtaining Prime Implicants. - Robert W. House; Tibor Rado (J. Symb. Log., 1965)

Simplification of the Covering Problem for Multiple Output Logical Networks. - Benjamin B. Gordon; Robert W. House; Andrew P. Lechler; Larry D. Nelson; Tibor Rado (IEEE Trans. Electron. Comput., 1966)