[ACM] JACM 9(2) April 1962

[ACM] [ACM] JACM  

Arden, B. W.; Galler, B. A., and Graham, R. M. (1962) Arden, B. W.; Galler, B. A., and Graham, R. M. "An algorithm for translating Boolean expressions" pp222-239