Dan Benanav

	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

Coauthor Index

1	Allen L. Brown Jr.	[3]
2	Dale E. Gaucas	[3]
3	Deepak Kapur	[1] [2]
4	Paliath Narendran	[1] [2]

Colors in the list of coauthors