Transformation Rules for Logic Programs with Goals as Arguments.

Alberto Pettorossi, Maurizio Proietti

Browse the full LOPSTR paper archive.