"Analyzing Automata with Presburger Arithmetic and Uninterpreted Function ..."

Vlad Rusu, Elena Zinovieva (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics