On Computing Prime Implicants and Prime Implicates. - Anavai Ramesh; George Becker; Neil V. Murray (TABLEAUX, 1992)

Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. - Anavai Ramesh; Neil V. Murray (LPAR, 1993)

Avoiding Tests for Subsumption. - Anavai Ramesh; Neil V. Murray (AAAI, 1994)

Computing Prime Implicants/Implicates for Regular Logics. - Anavai Ramesh; Neil V. Murray (ISMVL, 1994)

On Anti-Links. - Bernhard Beckert; Reiner Hähnle; Anavai Ramesh; Neil V. Murray (LPAR, 1994)

Fast Subsumption Checks Using Anti-Links. - Anavai Ramesh; Bernhard Beckert; Reiner Hähnle; Neil V. Murray (J. Autom. Reason., 1997)

CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. - Anavai Ramesh; George Becker; Neil V. Murray (J. Autom. Reason., 1997)