TY  - RPRT
TI  - Computing the Least Fixed Point of Positive Polynomial Systems
AU  - Javier Esparza
AU  - Stefan Kiefer
AU  - Michael Luttenberger
PY  - 2010
UR  - https://arxiv.org/abs/1001.0340
ID  - 1001.0340
ER  -