| 2011 | ISMIS | Tri-Based Set Operations and Selective Computation of Prime Implicates. | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2010 | CADE | Trie Based Subsumption and Improving the pi-Trie Algorithm. | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2009 | IC3K | Reduced Implicate Tries and Logical Operations. | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2009 | ISMIS | Prime Implicates and Reduced Implicate Tries. | Neil V. Murray, Erik Rosenthal |
| 2009 | TABLEAUX | Prime Implicate Tries. | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2008 | ISMIS | Reduced Implicate/Implicant Tries. | Neil V. Murray, Erik Rosenthal |
| 2007 | TABLEAUX | Updating Reduced Implicate Tries. | Neil V. Murray, Erik Rosenthal |
| 2005 | ISMIS | Normal Forms for Knowledge Compilation. | Reiner Hhnle, Neil V. Murray, Erik Rosenthal |
| 2005 | ISMIS | Duality in Knowledge Compilation Techniques. | Neil V. Murray, Erik Rosenthal |
| 2005 | TABLEAUX | Efficient Query Processing with Compiled Knowledge Bases. | Neil V. Murray, Erik Rosenthal |
| 2005 | TABLEAUX | Formal Versus Rigorous Mathematics: How to Get Your Papers Published. | Erik Rosenthal |
| 2003 | TABLEAUX | Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. | Neil V. Murray, Erik Rosenthal |
| 2002 | ISMIS | Inference for Annotated Logics over Distributive Lattices. | James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal |
| 2001 | CADE | Ordered Resolution vs. Connection Graph Resolution. | Reiner Hhnle, Neil V. Murray, Erik Rosenthal |
| 2000 | ISMIS | Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. | James J. Lu, Neil V. Murray, Erik Rosenthal |
| 1998 | JELIA | Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
| 1998 | TABLEAUX | Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. | Reiner Hhnle, Neil V. Murray, Erik Rosenthal |
| 1997 | ISMIS | Completeness for Linear Regular Negation Normal Form Inference Systems. | Reiner Hhnle, Neil V. Murray, Erik Rosenthal |
| 1994 | ISMIS | Signed Formulas and Fuzzy Operator Logics. | James J. Lu, Neil V. Murray, Erik Rosenthal |
| 1993 | ISMIS | Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. | Neil V. Murray, Erik Rosenthal |
| 1991 | ISMIS | Resolution and Path Dissolution in Multi-Valued Logics. | Neil V. Murray, Erik Rosenthal |
| 1990 | CADE | DISSOLVER: A Dissolution-based Theorem Prover. | Neil V. Murray, Erik Rosenthal |
| 1990 | ISSAC | Reexamining Intractability of Tableau Methods. | Neil V. Murray, Erik Rosenthal |
| 1989 | ISSAC | Employing Path Dissolution to Shorten Tableaux Proofs. | Neil V. Murray, Erik Rosenthal |
| 1988 | CADE | An Implementation of a Dissolution-Based System Employing Theory Links. | Neil V. Murray, Erik Rosenthal |
| 1987 | AAAI | Path Dissolution: A Strongly Complete Rule of Inference. | Neil V. Murray, Erik Rosenthal |
| 1987 | ISMIS | Inferencing on an Arbitrary Set of Links. | Neil V. Murray, Erik Rosenthal |
| 1986 | CADE | Theory Links in Semantic Graphs. | Neil V. Murray, Erik Rosenthal |
| 1985 | IJCAI | Path Resolution with Link Deletion. | Neil V. Murray, Erik Rosenthal |