\title{Towards a Logic for Reasoning about Logic Programs Transformation}

\author{Alberto Momigliano \thanks{This work was mostly completed during a
visit by the first
author to the  Dipartimento di Scienze dell'Informazione, Universita'
degli studi di  Milano.} and Mario Ornaghi
\institute{Department of Philosophy, Carnegie Mellon University\\
15213 Pittsburgh PA, USA \-- \texttt{mobile@cs.cmu.edu}\\
Dipartimento di Scienze dell'Informazione, Universita' degli studi di Milano\\
Via Comelico 39/41, Milano, Italy \-- \texttt{ornaghi@dsi.unimi.it}}}

\maketitle
