SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.

Anantharaman, SivaSivaAnantharamanHsiang, JiehJiehHsiangMzali, JalelJalelMzaliJIEH HSIANG2020-05-042020-05-041989https://scholars.lib.ntu.edu.tw/handle/123456789/488710SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.conference paper10.1007/3-540-51081-8_131https://doi.org/10.1007/3-540-51081-8_131