Reference:

Javier Esparza, Michael Luttenberger, and Maximilian Schlund. FPsolve: A generic solver for fixpoint equations over semirings. In CIAA, pages 1–15, 2014.

Suggested BibTeX entry:

@inproceedings{DBLP:confwiaEsparzaLS14,
    author = {Javier Esparza and Michael Luttenberger and Maximilian Schlund},
    booktitle = {CIAA},
    pages = {1-15},
    title = {{FP}solve: A Generic Solver for Fixpoint Equations over Semirings},
    year = {2014}
}