\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Aiello \bgroup\&al.\egroup
  }{1996}]{fifthKRninetysix}
Luigia~Carlucci Aiello, Jon Doyle, and Stuart~C. Shapiro, editors.
\newblock {\em \Proc\ \nth 5 \Int\ \Conf\ on Principles of Knowledge
  Representation and Reasoning, 1996, \Nov\,5--8, Cambridge (MA)}.
  \morgankaufmann, 1996.

\bibitem[\protect\citeauthoryear{Benferhat \bgroup\&\ \egroup
  Garcia}{1997}]{BG97b}
Salem Benferhat and Laurent Garcia.
\newblock A coherence-based approach to default reasoning.
\newblock 1997.
\newblock In \cite[\PP{43}{57}]{DBLP:conf/ecsqaru/1997}.
  \url{http://dx.doi.org/10.1007/BFb0035611}.

\bibitem[\protect\citeauthoryear{Ches{\~n}evar \bgroup\&al.\egroup
  }{2003}]{Chesnevar-etal-Relating-Deafeasible-2003}
Charlos~I. Ches{\~n}evar, J{\"u}rgen Dix, Frieder Stolzenburg, and Guillermo~R.
  Simari.
\newblock Relating defeasible and normal logic programming through
  transformation properties.
\newblock {\em \tcsname}, 290:499--529, 2003.
\newblock Received \Jan\,8, 2001; \rev\ \Nov\,9, 2001.
  \url{http://dx.doi.org/10.1016/S0304-3975(02)00033-6}.

\bibitem[\protect\citeauthoryear{Dung \bgroup\&\ \egroup Son}{1996}]{DS96}
Phan~Minh Dung and Tran~Cao Son.
\newblock An argumentation-theoretic approach to reasoning with specificity.
\newblock 1996.
\newblock In \cite[\PP{506}{517}]{fifthKRninetysix}.

\bibitem[\protect\citeauthoryear{Gabbay{\protectedgabbayindex}
  \bgroup\&al.\egroup }{1997}]{DBLP:conf/ecsqaru/1997}
Dov Gabbay{\protectedgabbayindex}, Rudolf Kruse, Andreas Nonnengart, and
  Hans-J{\"u}rgen Ohlbach, editors.
\newblock {\em \Proc\ \nth 1 \Int\ Joint \Conf\ on Qualitative and Quantitative
  Practical Reasoning, 1997, \Jun\,9--12, Bad Honnef (Germany)}, number 1244 in
  Lecture Notes in Computer Science. \springerverlag, 1997.

\bibitem[\protect\citeauthoryear{Garc{\'\i}a \bgroup\&\ \egroup
  Simari}{2004}]{Garcia-Simari-Defeasible-2004}
Alejandro~J. Garc{\'\i}a and Guillermo~R. Simari.
\newblock Defeasible logic programming: An argumentative approach.
\newblock {\em Theory and Practice of Logic Programming, \cambridgeunipress},
  4:95--138, 2004.

\bibitem[\protect\citeauthoryear{Gelfond \bgroup\&\ \egroup
  Przymusinska}{1990}]{Gelfond_Przymusinska_1990}
Michael Gelfond and Halina Przymusinska.
\newblock Formalization of inheritance reasoning in autoepistemic logic.
\newblock {\em \fundamentainformaticaename}, XIII:403--443, 1990.

\bibitem[\protect\citeauthoryear{Gillman}{1987}]{writing-mathematics}
Leonard Gillman.
\newblock {\em Writing Mathematics Well}.
\newblock The Mathematical Association of America, 1987.

\bibitem[\protect\citeauthoryear{Joshi}{1985}]{ijcai9}
Aravind Joshi, editor.
\newblock {\em {\Proc\ \nth 9 \IJCAIname\ (\IJCAI), 1985, \Aug\,18--25, \LA}}.
  \morgankaufmann, 1985.
\newblock {\url{http://ijcai.org/Past%20Proceedings}}.

\bibitem[\protect\citeauthoryear{Lambert}{1764}]{lambert-1764}
Johann~Heinrich Lambert.
\newblock {\em {Neues Organon oder Gedanken \ue ber die Erforschung und
  Bezeichnung des Wahren und dessen Unterscheidung von Irrthum und Schein.}}
\newblock Johann Wendler, \Leipzig, 1764.
\newblock {\Vol\,I\ (Dianoiologie oder die Lehre von den Gesetzen de\es\
  Denken\es, Alethiologie oder Lehre von der Wahrheit)
  (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_Uber_di%
e_Erf.html?id=ViS3XCuJEw8C}) \& \Vol\,II (Semiotik oder Lehre von der
  Bezeichnung der Gedanken und Dinge, Ph\ae nomenologie oder Lehre von dem
  Schein)
  (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_%C3%BCb%
er_die_Er.html?id=X8UAAAAAcAAj})\@. \ Facsimile reprint by \olmsverlag, 1965,
  with a German introduction by \hanswernerarndtname}.

\bibitem[\protect\citeauthoryear{Poole}{1985}]{Poole-Preferring-Most-Specific-%
1985}
David~L. Poole.
\newblock On the comparison of theories: Preferring the most specific
  explanation.
\newblock 1985.
\newblock In \cite[\PP{144}{147}]{ijcai9}.

\bibitem[\protect\citeauthoryear{Simari \bgroup\&\ \egroup
  Loui}{1992}]{Simari-Loui-Defeasible-Reasoning-1992}
Guillermo~R. Simari and Ronald~P. Loui.
\newblock A mathematical treatment of defeasible reasoning and its
  implementation.
\newblock {\em \artificialintelligencename}, 53:125--157, 1992.
\newblock Received \Feb\,1990, \rev\,\Apr\,1991.

\bibitem[\protect\citeauthoryear{Stolzenburg \bgroup\&al.\egroup
  }{2003}]{Stolzenburg-etal-Computing-Specificity-2003}
Frieder Stolzenburg, Alejandro~J. Garc{\'\i}a, Charlos~I. Ches{\~n}evar, and
  Guillermo~R. Simari.
\newblock Computing generalized specificity.
\newblock {\em \janclname}, 13:87--113, 2003.
\newblock \url{http://www.tandfonline.com/doi/abs/10.3166/jancl.13.87-113}.

\end{thebibliography}
