An Algebraic Foundation for Truth Maintenance. - Allen L. Brown Jr.; Dale E. Gaucas; Dan Benanav (IJCAI, 1987)

Complexity of Matching Problems. - Dan Benanav; Deepak Kapur; Paliath Narendran (J. Symb. Comput., 1987)

Recognizing Unnecessary Inference. - Dan Benanav (IJCAI, 1989)

Simultaneous Paramodulation. - Dan Benanav (CADE, 1990)

Recognizing Unnecessary Clauses in Resolution Based Systems. - Dan Benanav (J. Autom. Reason., 1992)