Static Analysis of Prolog with Cut.

Gilberto Fil, Sabina Rossi

Browse the full LPAR paper archive.