Reduced Implicate Tries and Logical Operations. - Andrew Matusiewicz; Neil V. Murray; Erik Rosenthal (KEOD, 2009)

Prime Implicate Tries. - Andrew Matusiewicz; Neil V. Murray; Erik Rosenthal (TABLEAUX, 2009)

Trie Based Subsumption and Improving the pi-Trie Algorithm. - Andrew Matusiewicz; Neil V. Murray; Erik Rosenthal (PAAR@IJCAR, 2010)

Tri-Based Set Operations and Selective Computation of Prime Implicates. - Andrew Matusiewicz; Neil V. Murray; Erik Rosenthal (ISMIS, 2011)

A Dynamic Programming Algorithm for Prime Implicates. - Andrew Matusiewicz (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Peer instruction in computer science at small liberal arts colleges. - Leo Porter 001; Saturnino Garcia; John Glick; Andrew Matusiewicz; Cynthia Bagier Taylor (ITiCSE, 2013)

Computing prime implicates by pruning the search space and accelerating subsumption. - Andrew Matusiewicz; Neil V. Murray; Paul W. Olsen; Erik Rosenthal (J. Log. Comput., 2017)