1. (100%) Towards a Logic for Reasoning about Logic Programs Transformation - Alberto Momigliano
We give a proof-theoretic analysis of logic programs transformations, viewed as operations on proof trees in the sense of [3, 4, 9, 10]. We present a logic for reasoning about (equivalence preserving
(ps) - 31-mar-2009