\title{Disunification as the Basis for Intensional Negation: the  first-order Horn Fragment}

\author{Alberto Momigliano \\
Department of Philosophy \\
Carnegie Mellon University\\
15213 Pittsburgh PA, USA \\
Tel. +1-412-268-1413\\
{\tt mobile@cs.cmu.edu}}
\maketitle
\begin{abstract}
This chapter (III) gives a smooth introduction to first-order disunification: we 
then show how to cast complement problems as disunification. 
Thirdly we integrate the latter into (essentially) Sato 
transformation technique. Finally, we deal with the problem of local 
variables and the related issue of extensional quantification.
\end{abstract}
\newpage
\tableofcontents
\vfill
%\newpage
\listoffigures
\newpage

