Hsiang, Jieh

2 publications

IJCAI 1987 Complete Inference Rules for the Cancellation Laws Jieh Hsiang, Michaël Rusinowitch, Kô Sakai

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