Loading paper
Polynomials over strict semirings do not admit unique factorization | Tomesphere