Plaisted, David A.

5 publications

IJCAI 1997 Equational Reasoning Using AC Constraints David A. Plaisted, Yunshan Zhu

AAAI 1997 Ordered Semantic Hyper Linking David A. Plaisted, Yunshan Zhu

AAAI 1993 Rough Resolution: A Refinement of Resolution to Remove Large Literals Heng Chu, David A. Plaisted

IJCAI 1983 Associative-Commutative Rewriting Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted

AAAI 1980 An Efficient Relevance Criterion for Mechanical Theorem Proving David A. Plaisted