Decidable Weighted Expressions with Presburger Combinators.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin

Browse the full FCT paper archive.