Jieh Hsiang

1954

• Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995
• Topics in automated theorem proving and program generation