Reference:

Maximilian Schlund, Michal Terepeta, and Michael Luttenberger. Putting newton into practice: A solver for polynomial equations over semirings. In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pages 727–734, 2013.

Suggested BibTeX entry:

@inproceedings{DBLP:conflparSchlundTL13,
    author = {Maximilian Schlund and Michal Terepeta and Michael Luttenberger},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings},
    pages = {727--734},
    title = {Putting Newton into Practice: {A} Solver for Polynomial Equations over Semirings},
    year = {2013}
}