• FourTiTwo

  • Referenced in 8 articles [sw07615]
  • Finiteness theorems and algorithms for permutation invariant chains...