"FPsolve: A Generic Solver for Fixpoint Equations over Semirings."

Javier Esparza, Michael Luttenberger, Maximilian Schlund (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics