Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking).

Kilian Lichtner, Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

Browse the full TACAS paper archive.