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 application of compositional version of O.
| hakusan -orthogonal+ 5 file.trs
|
| RC
| compositional version of R with compositional version of C.
| hakusan -prl-pcps 5 file.trs
|
| CR
| compositional version of C with R.
| hakusan -pcps-prl 5 file.trs
|
| rOO
| combination of the reduction method with OO.
| hakusan -reduce 5 -orthogonal+ 5 file.trs
|
| rRC
| combination of the reduction method with RC.
| hakusan -reduce 5 -prl-pcps 5 file.trs
|
| rCR
| combination of the reduction method with CR.
| hakusan -reduce 5 -pcps-prl 5 file.trs
|
| Hakusan
| rRC and then rCR
| hakusan file.trs
|
| ACP
| ACP version 0.62
|
| CoLL-Saigawa
| CoLL-Saigawa version 1.6
|
| CONFident
| CONFident (CoCo 2022 version)
|
| CSI
| CSI version 1.2.5
|