Static Analysis of Prolog with Cut

Gilberto Filé, Sabina Rossi. Static Analysis of Prolog with Cut. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 325-340, 1993.

Possibly Related Publications

The following publications are possibly variants of this publication: