Decidability Results and Characterization of Strategies for the Development of Logic Programs.

Alberto Pettorossi, Maurizio Proietti

Browse the full ICLP paper archive.