The logic of Boolean matrices

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},
}