Logic-structure tables. - H. N. Cantrell; J. King; F. E. H. King (Commun. ACM, 1961)