Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

Hsiang, JiehJiehHsiangDershowitz, NachumNachumDershowitzJIEH HSIANG2020-05-042020-05-041983https://scholars.lib.ntu.edu.tw/handle/123456789/488716Rewrite Methods for Clausal and Non-Clausal Theorem Proving.conference paper10.1007/BFb0036919https://doi.org/10.1007/BFb0036919