C. R. Edwards. The logic of Boolean matrices. Comput. J., 15(3):247-253, 1972. [doi]
@article{Edwards72, title = {The logic of Boolean matrices}, author = {C. R. Edwards}, year = {1972}, url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_03/150247.sgm.abs.html}, tags = {C++, logic}, researchr = {https://researchr.org/publication/Edwards72}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {15}, number = {3}, pages = {247-253}, }