On fixed point equations over commutative semirings (2007)

by Javier Esparza, Stefan Kiefer, Michael Luttenberger
Venue:In Proceedings of STACS, LNCS 4393