Towards a Logic for Reasoning About Logic Programs Transformation.

Alberto Momigliano, Mario Ornaghi

Browse the full LOPSTR paper archive.