| |
| 1992 | ||
|---|---|---|
| 6 | Dan Benanav: Recognizing Unnecessary Clauses in Resolution Based Systems. J. Autom. Reasoning 9(1): 43-76 (1992) | |
| 1990 | ||
| 5 | Dan Benanav: Simultaneous Paramodulation. CADE 1990: 442-455 | |
| 1989 | ||
| 4 | Dan Benanav: Recognizing Unnecessary Inference. IJCAI 1989: 366-371 | |
| 1987 | ||
| 3 | Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav: An Algebraic Foundation for Truth Maintenance. IJCAI 1987: 973-980 | |
| 2 | Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. J. Symb. Comput. 3(1/2): 203-216 (1987) | |
| 1985 | ||
| 1 | Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. RTA 1985: 417-429 | |
| 1 | Allen L. Brown Jr. | [3] |
| 2 | Dale E. Gaucas | [3] |
| 3 | Deepak Kapur | [1] [2] |
| 4 | Paliath Narendran | [1] [2] |