| 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
|
| CC
| successive application of compositional version of C
| hakusan -pcps+ 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.72
|
| CoLL-Saigawa
| CoLL-Saigawa version 1.7
|
| CSI
| CSI version 1.2.7
|
| r
| the reduction method then emptiness check
| hakusan -reduce 5 -empty file.trs
|
| rACP
| combination of the reduction method with ACP
| racp file.trs
|
| rCoLL-Saigawa
| combination of the reduction method with CoLL-Saigawa
| rcollsaigawa file.trs
|
| rCSI
| combination of the reduction method with CSI
| rcsi file.trs
|