Conjunctive Encoding of Boolean Matrices - D. R. Stover; Donald L. Epley (SWAT, 1966)