\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Aiello \bgroup\&al.\egroup
  }{1996}]{fifthKRninetysix}
Luigia~Carlucci Aiello, Jon Doyle, and Stuart~C. Shapiro, editors.
\newblock {\em {\fifthKRninetysix}}. \morgankaufmann, 1996.

\bibitem[\protect\citeauthoryear{Baral \bgroup\&al.\egroup
  }{2014}]{fourteenthKRfourteen}
Chitta Baral, Giuseppe De~Giacomo, and Thomas Eiter, editors.
\newblock {\em {\fourteenthKRfourteen}}. \aaaipress, 2014.
\newblock \url{http://www.kr.org/index.php?page=proclist}.

\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{Besnard \bgroup\&\ \egroup
  Hunter}{2001}]{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}
Philippe Besnard and Anthony Hunter.
\newblock A logic-based theory of deductive arguments.
\newblock {\em {\artificialintelligencename}}, 128:203--235, 2001.
\newblock Received \Dec\,8, 2000.
  \url{http://dx.doi.org/10.1016/S0004-3702(01)00071-6}.

\bibitem[\protect\citeauthoryear{Besnard \bgroup\&al.\egroup
  }{2013}]{Besnard_etal_A_Conditional_Argumentation_Framework_2013}
Philippe Besnard, {\'E}ric Gr{\'e}goire, and Badran Raddaoui.
\newblock A conditional logic-based argumentation framework.
\newblock 2013.
\newblock In \cite[\PP{44}{56}]{seventhSUMthirteen}.
  \url{http://dx.doi.org/10.1007/978-3-642-40381-1_4}.

\bibitem[\protect\citeauthoryear{Ches{\~n}evar \bgroup\&al.\egroup
  }{2003}]{Chesnevar-etal-Relating-Deafeasible-2003}
Carlos~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{Clocksin \bgroup\&\ \egroup
  Mellish}{2003}]{Prolog}
William~F. Clocksin and Christopher~S. Mellish.
\newblock {\em {Programming in \PROLOG}}.
\newblock {\springerverlag}, 2003.
\newblock \nth 5\,\edn\ (\nth 1\,\edn\,1981).

\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{Dung}{1995}]{Dung_Acceptability_of_Arguments_%
1995}
Phan~Minh Dung.
\newblock On the acceptability of arguments and its fundamental role in
  nonmonotonic reasoning, logic programming and {\math n}-person games.
\newblock {\em {\artificialintelligencename}}, 77:321--358, 1995.
\newblock \url{http://dx.doi.org/10.1016/0004-3702(94)00041-X}.

\bibitem[\protect\citeauthoryear{Furbach \bgroup\&al.\egroup
  }{2010}]{Furbach-etal-AR-in-NL-Question-Answering-2010}
Ulrich Furbach, Ingo Gl{\"o}ckner, and Bj{\"o}rn Pelzer.
\newblock An application of automated reasoning in natural-language question
  answering.
\newblock {\em \artificialintelligencecommunicationsname}, 23:241--265, 2010.

\bibitem[\protect\citeauthoryear{Gabbay{\protectedgabbayindex} \bgroup\&\
  \egroup Woods}{2004\ff}]{handbook-of-the-history-of-logic}
Dov Gabbay{\protectedgabbayindex} and John Woods, editors.
\newblock {\em Handbook of the History of Logic}.
\newblock \northholland, 2004\ff.

\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{Gabbay}{2002}]{handbookofphilosophicallogicse%
condedn}
Dov Gabbay, editor.
\newblock {\em Handbook of Philosophical Logic}.
\newblock \kluwer, 2002.
\newblock \nth 2\,\edn.

\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{Goldfarb{\protectedgoldfarbindex}}{1970}]{rev%
iew-herbrand-ecrits-logiques}
Warren Goldfarb{\protectedgoldfarbindex}.
\newblock Review of \cite{herbrand-ecrits-logiques}.
\newblock {\em The Philosophical Review}, 79:576--578, 1970.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1971}]%
{heijenoort-source-book}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock {\em From {\frege} to {\namefont G\"odel}: A Source Book in
  Mathematical Logic, 1879--1931}.
\newblock {\harvardunipress}, 1971.
\newblock {\nth 2\,\rev\ \edn\ (\nth 1\,\edn\,1967)}.

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1930}]{her%
brand-PhD}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em {\herbrandPhDtitle}}.
\newblock PhD thesis, Universit\'e de Paris, 1930.
\newblock {Th\`eses} pr\'esent\'ees \`a la facult\'e des Sciences de Paris pour
  obtenir le grade de docteur\`es sciences math\'ematiques --- \frenchnth 1
  \nolinebreak th\`ese: Recherches sur la th\'eorie de la d\'emonstration ---
  \frenchnth 2 \nolinebreak th\`ese: Propositions donn\'ees par la facult\'e,
  Les \'equations de Fredholm --- Soutenues le 1930 devant la commission
  d'examen --- Pr\'esident: M. \vessiot, Examinateurs: MM. {\namefont Denjoy,
  Frechet} --- Vu et approuv\'e, \Paris, le 20\,Juin\,1929, Le doyen de la
  facult\'e des Sciences, {\namefont C. Maurain} --- Vu et permis d'imprimer,
  \Paris, le 20\,Juin\,1929, Le recteur de l'Academie de \Paris, {\namefont S.
  Charlety} --- No.\,d'ordre\,2121, S\'erie\,A, No.\,de\,S\'erie\,1252 ---
  Imprimerie J. Dziewulski, Varsovie --- \Univ\ de \Paris. \ Also in Prace
  \WarsawScientificSocietyIII\ Nauk Matematyczno-Fizychnych, Nr.\,33,
  \Warszawa. \ A contorted, newly typeset reprint is
  \cite[\PP{35}{153}]{herbrand-ecrits-logiques}. \ Annotated {E}nglish
  translation {\em Investigations in Proof Theory}\/ by \goldfarbname\
  (\litchapfromtoref 1 4) and \drebenname\ and \heijenoortname\ (\litchapref 5)
  with a brief introduction by \goldfarb\ and extended notes by \goldfarb\
  \mbox{(\litnotefromtoref A C, K--M, O)}, \dreben\ (\litnotefromtoref F I),
  \dreben\ and \goldfarb\ (\litnoterefss D J N), and \dreben, \huffname, and
  \hailperinname\ (\litnoteref E) in
  \cite[\PP{44}{202}]{herbrand-logical-writings}. \ {E}nglish translation of
  \litsectref 5 with a different introduction by \heijenoort\ and some
  additional extended notes by \dreben\ also in
  \cite[\PP{525}{581}]{heijenoort-source-book}. \ \bibcrit{\herbrand's
  \PhDthesis, his cardinal work, dated \herbrandPhDdating; submitted at the
  \Univ\ of \Paris; defended at the Sorbonne \herbrandPhDdefensedate; printed
  in \WarszawaEnglish, 1930.}

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1968}]{her%
brand-ecrits-logiques}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em {\'E}crits Logiques}.
\newblock Presses Universitaires de France, Paris, 1968.
\newblock Cortorted \edn~of \herbrand's logical writings by \heijenoortname.
  Review in \cite{review-herbrand-ecrits-logiques}. \hskip.2em {E}nglish
  translation is \cite{herbrand-logical-writings}.

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1971}]{her%
brand-logical-writings}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em Logical Writings}.
\newblock {\harvardunipress}, 1971.
\newblock \Ed\ by \goldfarbname. Translation of \cite{herbrand-ecrits-logiques}
  with additional annotations, brief introductions, and extended notes by
  \goldfarb, \drebenname, and \heijenoortname. \
  \bibcrit{\textonherbrandlogicalwritings}.

\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{Kern-Isberner \bgroup\&\ \egroup
  Thimm}{2012}]{Kern-Isberner-Thimm-Ranking-Semantics-2012}
Gabriele Kern-Isberner and Matthias Thimm.
\newblock A ranking semantics for first-order conditionals.
\newblock 2012.
\newblock \cite[\PP{456}{461}]{twentiethECAItwelve}.
  \url{http://dx.doi.org/10.3233/978-1-61499-098-7-456}.

\bibitem[\protect\citeauthoryear{Kowalski{\protectedkowalskiindex}}{1974}]{Kow%
74}
Robert~A. Kowalski{\protectedkowalskiindex}.
\newblock Predicate logic as a programming language.
\newblock 1974.
\newblock In \cite[\PP{569}{574}]{IFIP-1974}.

\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{\"a}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{Liu \bgroup\&al.\egroup
  }{2013}]{seventhSUMthirteen}
Weiru Liu, V.~S. Subrahmanian, and Jef Wijsen, editors.
\newblock {\em {\Proc\ \nth 7 \Int\ \Conf\ on Scalable Uncertainty Management
  (SUM 2013), Washington (DC), \Sep\,16--18, 2013}}, number 8078 in Lecture
  Notes in Computer Science. {\springerverlag}, 2013.

\bibitem[\protect\citeauthoryear{Modgil \bgroup\&\ \egroup
  Prakken}{2014}]{Modgil_Prakken_ASPIC_Tutorial_2014}
Sanjay Modgil and Henry Prakken.
\newblock The {{\em ASPIC}\/$^+$} framework for structured argumentation: a
  tutorial.
\newblock {\em Argument {\&} Computation}, 5:31--62, 2014.
\newblock \url{http://dx.doi.org/10.1080/19462166.2013.869766}.

\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{Prakken \bgroup\&\ \egroup
  Vreeswijk}{2002}]{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}
Henry Prakken and Gerhard Vreeswijk.
\newblock Logics for defeasible argumentation.
\newblock 2002.
\newblock In \cite[\PP{218}{319}]{handbookofphilosophicallogicsecondedn}.

\bibitem[\protect\citeauthoryear{Raedt \bgroup\&al.\egroup
  }{2012}]{twentiethECAItwelve}
Luc~De Raedt, Christian Bessi{\`e}re, Didier Dubois, Patrick Doherty, Paolo
  Frasconi, Fredrik Heintz, and Peter J.~F. Lucas, editors.
\newblock {\em {\Proc\ \nth{20} \ECAIname\ (ECAI), \Aug\,27--31, 2012,
  Montepellier, France}}, number 242 in Frontiers in Artificial Intelligence
  and Applications. IOS Press, 2012.
\newblock \url{http://ebooks.iospress.nl/volume/ecai-2012}.

\bibitem[\protect\citeauthoryear{Rosenfeld}{1974}]{IFIP-1974}
Jack~L. Rosenfeld, editor.
\newblock {\em {\Proc\ of the Congress of the \Int\ Federation for Information
  Processing (IFIP), Stockholm (Sweden), \Aug\,5--10, 1974}}. \northholland,
  1974.

\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, Carlos~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}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex} \bgroup\&\ \egroup
  Gram{\-}li{\protectedgramlichindex}ch}{1994}]{wgjsc}
Claus-Peter Wirth{\protectedwirthindex} and Bernhard
  Gram{\-}li{\protectedgramlichindex}ch.
\newblock A constructor-based approach to positive/negative-conditional
  equational specifications.
\newblock {\em {\jscname}}, 17:51--90, 1994.
\newblock \url{http://dx.doi.org/10.1006/jsco.1994.1004}, \www\url{/p/jsc94}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex} \bgroup\&\ \egroup
  Stolzenburg}{2013}]{Wirth_Stolzenburg_Specificity_2013}
Claus-Peter Wirth{\protectedwirthindex} and Frieder Stolzenburg.
\newblock {\em {\poolename}'s Specificity Revised}.
\newblock {SEKI-Report SR--2013--01 (ISSN 1437--4447)}. {SEKI Publications},
  2013.
\newblock \PPcount{ii+34}, \url{http://arxiv.org/abs/1308.4943}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex} \bgroup\&\ \egroup
  Stolzenburg}{2014}]{Wirth_Stolzenburg_Specificity_KR2014}
Claus-Peter Wirth{\protectedwirthindex} and Frieder Stolzenburg.
\newblock \poolename's specificity revised.
\newblock 2014.
\newblock In \cite[\PP{168}{177}]{fourteenthKRfourteen}. Short version of
  \cite{Wirth_Stolzenburg_Specificity_2013}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}
  \bgroup\&al.\egroup }{2009}]{herbrand-handbook}
Claus-Peter Wirth{\protectedwirthindex}, J{\"o}rg Siek{\-}mann,
  {\mbox{Ch}}ristoph Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, and Serge
  Autexier{\protectedautexierindex}.
\newblock \herbrandname: Life, logic, and automated deduction.
\newblock 2009.
\newblock In \cite[\Vol\,5: Logic from \russell\ to \church,
  \PP{195}{254}]{handbook-of-the-history-of-logic}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}
  \bgroup\&al.\egroup }{2014}]{SR--2009--01}
Claus-Peter Wirth{\protectedwirthindex}, J{\"o}rg Siek{\-}mann,
  {\mbox{Ch}}ristoph Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, and Serge
  Autexier{\protectedautexierindex}.
\newblock {\em Lectures on {\herbrandname} as a Logician}.
\newblock {SEKI-Report SR--2009--01 (ISSN 1437--4447)}. {SEKI Publications},
  2014.
\newblock \Rev\,\edn\ \May\,2014, \PPcount{ii+82},
  {\url{http://arxiv.org/abs/0902.4682}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{1997}]{wirthdiss}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\em Positive/Negative-Conditional Equations: A Constructor-Based
  Framework for Specification and Inductive Theorem Proving}, volume~31 of {\em
  {Schriftenreihe Forschungsergebnisse zur Informatik}}.
\newblock {Verlag Dr.\ Kova\v c, Hamburg}, 1997.
\newblock \PhDthesis, \uniKLshort, {ISBN 386064551X}, {\www\url{/p/diss}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2009}]{wirth-jsc}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock Shallow confluence of conditional term rewriting systems.
\newblock {\em {\jscname}}, 44:69--98, 2009.
\newblock \url{http://dx.doi.org/10.1016/j.jsc.2008.05.005}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2012}]{wirth-hei%
jenoort}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\herbrandsfundamentaltheorem} in the eyes of {\heijenoortname}.
\newblock {\em {\logicauniversalisname}}, 6:485--520, 2012.
\newblock Received \Jan\,12, 2012. Published online \Jun\,22, 2012,
  \url{http://dx.doi.org/10.1007/s11787-012-0056-7}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2014}]{wirth-hei%
jenoort-SEKI}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\em {\herbrandsfundamentaltheorem:} The Historical Facts and their
  Streamlining}.
\newblock {SEKI-Report SR--2014--01 (ISSN 1437--4447)}. {SEKI Publications},
  2014.
\newblock \PPcount{ii+47}, \url{http://arxiv.org/abs/1405.6317}.

\end{thebibliography}
