Zhu, Yunshan

2 publications

IJCAI 1997 Equational Reasoning Using AC Constraints David A. Plaisted, Yunshan Zhu
AAAI 1997 Ordered Semantic Hyper Linking David A. Plaisted, Yunshan Zhu