The synthesis of cascade switching circuits - Roger E. Levien (SWCT, 1962)

Determining the best ordering of variables in cascade switching circuits - Roger E. Levien (SWCT, 1963)

A computer system for inference execution and data retrieval. - Roger E. Levien; Melvin Earl Maron (Commun. ACM, 1967)