Unbounded Model-Checking with Interpolation for Regular Language Constraints.

Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Sndergaard, Peter Schachte

Browse the full TACAS paper archive.