YES
LCTRS
  Theories
    Core, Ints
  Signature
    fact: Int -> Int
  Rules
    fact(?10) -> *(fact(-(?10, 1)), ?10) [>=(-(?10, 1), 0)]
    fact(?11) -> 1 [<=(?11, 0)]
Confluent by Orthogonality with proof:
  no critical pairs

Elapsed Time:  42.19 ms