A universal algorithm for Krull's theorem

Thomas Powell 0001, Peter Schuster 0001, Franziskus Wiesnet. A universal algorithm for Krull's theorem. Inf. Comput., 287:104761, 2022. [doi]

Abstract

Abstract is missing.