Abbreviations
| O
| orthogonality (Rosen 1980)
| hakusan -orthogonal file.trs
|
| R
| rule labeling based on parallel critical pairs (Zankl et al. 2015)
| hakusan -prl 5 file.trs |
| C
| criterion based on critical pair systems (Hirokawa and Middeldorp 2011)
| hakusan -cps 5 file.trs
|
| OO
| successive applications of composable version of O.
| hakusan -pcpcs 5 file.trs
|
| RC
| composable version of R with composable version of C.
| hakusan -prl-pcps 5 file.trs
|
| CR
| composable version of C with composable version of R.
| hakusan -pcps-prl 5 file.trs
|
| Hakusan
| almost development closedness (van Oostrom 1997), strong
closedness (Huet 1980), RC, and then CR
| hakusan -auto 5 file.trs
|
| ACP
| ACP version 0.62
|
| CoLL
| CoLL version 1.6 = CoLL-Saigawa version 1.6
|
| CSI
| CSI version 1.2.5
|