Alla Sirokofskich. Decidability of Sub-theories of Polynomials over a Finite Field. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 437-446, Springer, 2009. [doi]
Abstract is missing.