{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
S.  Grimm and Hitzler, P., ?A Preferential Tableaux Calculus for Circumscriptive ALCO?, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 40?54.\par \par }