Reasoning about Data Repetitions with Counter Systems.

Stphane Demri, Diego Figueira, M. Praveen

Browse the full LICS paper archive.