Reference:

Javier Esparza, Michael Luttenberger, and Maximilian Schlund. FPSOLVE: A generic solver for fixpoint equations over semirings. Int. J. Found. Comput. Sci., 26(7):805–826, 2015.

Suggested BibTeX entry:

@article{DBLP:journalsijfcsEsparzaLS15,
    author = {Javier Esparza and Michael Luttenberger and Maximilian Schlund},
    journal = {Int. J. Found. Comput. Sci.},
    number = {7},
    pages = {805--826},
    title = {{FPSOLVE:} {A} Generic Solver for Fixpoint Equations Over Semirings},
    volume = {26},
    year = {2015}
}