A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. - Ryota Haga; Yuki Kagaya; Takahito Aoto 001 (FroCoS, 2023)