Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. GULP 1993: 325-340