Efficient Algorithms for pre

Javier Esparza, Andreas Podelski

Browse the full POPL paper archive.