Consequences, consistency, and independence in Boolean algebras. - Frank Markham Brown; Sergiu Rudeanu (Notre Dame J. Formal Log., 1981)

Segmental solutions of Boolean equations. - Frank Markham Brown (Discret. Appl. Math., 1982)

George Boole's Deductive System. - Frank Markham Brown (Notre Dame J. Formal Log., 2009)

On the suppression of variables in Boolean equations. - Frank Markham Brown (Discret. Appl. Math., 2011)

Comments on a numerical method for solving Boolean equations. - Frank Markham Brown (Inf. Sci., 2011)