\begin{thebibliography}{38}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{{#1}}
\providecommand{\urlprefix}{URL }
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{DOI~\discretionary{}{}{}#1}\else
  \providecommand{\doi}{DOI~\discretionary{}{}{}\begingroup
  \urlstyle{rm}\Url}\fi
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Baral et~al(2014)Baral, De~Giacomo, and Eiter}]{fourteenthKRfourteen}
Baral C, De~Giacomo G, Eiter T (eds) (2014) {\fourteenthKRfourteen},
  \aaaipress, \url{http://www.aaai.org/Library/KR/kr14contents.php}

\bibitem[{Benferhat and Garcia(1997)}]{BG97b}
Benferhat S, Garcia L (1997) A coherence-based approach to default reasoning.
  In: Gabbay D, Kruse R, Nonnengart A, Ohlbach HJ (eds) \Proc\ \nth 1 \Int\
  Joint \Conf\ on Qualitative and Quantitative Practical Reasoning, 1997,
  \Jun\,9--12, Bad Honnef (Germany), \springerverlag, no. 1244 in Lecture Notes
  in Computer Science, pp 43--57, \url{http://dx.doi.org/10.1007/BFb0035611}

\bibitem[{Besnard and
  Hunter(2001)}]{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}
Besnard P, Hunter A (2001) A logic-based theory of deductive arguments.
  {\artificialintelligencename} 128:203--235, received \Dec\,8, 2000.
  \url{http://dx.doi.org/10.1016/S0004-3702(01)00071-6}

\bibitem[{Besnard et~al(2013)Besnard, Gr{\'e}goire, and
  Raddaoui}]{Besnard_etal_A_Conditional_Argumentation_Framework_2013}
Besnard P, Gr{\'e}goire {\'E}, Raddaoui B (2013) A conditional logic-based
  argumentation framework. In \cite[\PP{44}{56}]{seventhSUMthirteen}.
  \url{http://dx.doi.org/10.1007/978-3-642-40381-1_4}

\bibitem[{Ches{\~n}evar et~al(2003)Ches{\~n}evar, Dix, Stolzenburg, and
  Simari}]{Chesnevar-etal-Relating-Deafeasible-2003}
Ches{\~n}evar CI, Dix J, Stolzenburg F, Simari GR (2003) Relating defeasible
  and normal logic programming through transformation properties. \tcsname
  290:499--529, received \Jan\,8, 2001; \rev\ \Nov\,9, 2001.
  \url{http://dx.doi.org/10.1016/S0304-3975(02)00033-6}

\bibitem[{Clocksin and Mellish(2003)}]{Prolog}
Clocksin WF, Mellish CS (2003) {Programming in \PROLOG}. {\springerverlag},
  \nth 5\,\edn\ (\nth 1\,\edn\,1981)

\bibitem[{Dung(1995)}]{Dung_Acceptability_of_Arguments_1995}
Dung PM (1995) On the acceptability of arguments and its fundamental role in
  nonmonotonic reasoning, logic programming and n-person games. Artificial
  Intelligence 77:321--358,
  \url{http://dx.doi.org/10.1016/0004-3702(94)00041-X}

\bibitem[{Dung and Son(1996)}]{DS96}
Dung PM, Son TC (1996) An argumentation-theoretic approach to reasoning with
  specificity. In: Aiello LC, Doyle J, Shapiro SC (eds) \Proc\ \nth 5 \Int\
  \Conf\ on Principles of Knowledge Representation and Reasoning, 1996,
  \Nov\,5--8, Cambridge (MA), \morgankaufmann, pp 506--517

\bibitem[{Furbach et~al(2010)Furbach, Gl{\"o}ckner, and
  Pelzer}]{Furbach-etal-AR-in-NL-Question-Answering-2010}
Furbach U, Gl{\"o}ckner I, Pelzer B (2010) An application of automated
  reasoning in natural-language question answering.
  {\artificialintelligencecommunicationsname} 23:241--265

\bibitem[{Furbach et~al(2015)Furbach, Schon, Stolzenburg, Weis, and
  Wirth{\protectedwirthindex}}]{FS+15b}
Furbach U, Schon C, Stolzenburg F, Weis KH, Wirth{\protectedwirthindex} CP
  (2015) {The RatioLog Project --- Rational Extensions of Logical Reasoning}.
  {KI -- K\ue nstliche Intelligenz (German J of Artificial Intelligence),
  \springerverlag} 29:1--7, published online \Jun\,05, 2015.
  \url{http://dx.doi.org/10.1007/s13218-015-0377-9}. Also in
  \url{http://arxiv.org/abs/1503.06087}

\bibitem[{Gabbay(2002)}]{handbookofphilosophicallogicsecondedn}
Gabbay D (ed)  (2002) Handbook of Philosophical Logic. \kluwer, \nth 2\,\edn

\bibitem[{Gabbay and Woods(2004\ff)}]{handbook-of-the-history-of-logic}
Gabbay D, Woods J (eds)  (2004\ff) Handbook of the History of Logic.
  \northholland

\bibitem[{Garc{\'\i}a and Simari(2004)}]{Garcia-Simari-Defeasible-2004}
Garc{\'\i}a AJ, Simari GR (2004) Defeasible logic programming: An argumentative
  approach. Theory and Practice of Logic Programming, \cambridgeunipress
  4:95--138

\bibitem[{Gelfond and Przymusinska(1990)}]{Gelfond_Przymusinska_1990}
Gelfond M, Przymusinska H (1990) Formalization of inheritance reasoning in
  autoepistemic logic. \fundamentainformaticaename XIII:403--443

\bibitem[{Gillman(1987)}]{writing-mathematics}
Gillman L (1987) Writing Mathematics Well. The Mathematical Association of
  America

\bibitem[{Herbrand(1930)}]{herbrand-PhD}
Herbrand J (1930) {\herbrandPhDtitle}. PhD thesis, Universit\'e de Paris,
  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.

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

\bibitem[{Kern-Isberner and
  Thimm(2012)}]{Kern-Isberner-Thimm-Ranking-Semantics-2012}
Kern-Isberner G, Thimm M (2012) A ranking semantics for first-order
  conditionals. \cite[\PP{456}{461}]{twentiethECAItwelve}.
  \url{http://dx.doi.org/10.3233/978-1-61499-098-7-456}

\bibitem[{Kowalski(1974)}]{Kow74}
Kowalski RA (1974) Predicate logic as a programming language. In
  \cite[\PP{569}{574}]{IFIP-1974}

\bibitem[{Lambert(1764)}]{lambert-1764}
Lambert JH (1764) {Neues Organon oder Gedanken \ue ber die Erforschung und
  Bezeichnung des Wahren und dessen Unterscheidung von Irrthum und Schein.}
  Johann Wendler, \Leipzig, {\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[{Liu et~al(2013)Liu, Subrahmanian, and Wijsen}]{seventhSUMthirteen}
Liu W, Subrahmanian VS, Wijsen J (eds) (2013) {\Proc\ \nth 7 \Int\ \Conf\ on
  Scalable Uncertainty Management (SUM 2013), Washington (DC), \Sep\,16--18,
  2013}, no. 8078 in Lecture Notes in Computer Science, {\springerverlag}

\bibitem[{Modgil and Prakken(2014)}]{Modgil_Prakken_ASPIC_Tutorial_2014}
Modgil S, Prakken H (2014) The {{\em ASPIC}\/$^+$} framework for structured
  argumentation: a tutorial. Argument {\&} Computation 5:31--62,
  \url{http://dx.doi.org/10.1080/19462166.2013.869766}

\bibitem[{Poole(1985)}]{Poole-Preferring-Most-Specific-1985}
Poole DL (1985) On the comparison of theories: Preferring the most specific
  explanation. In \cite[\PP{144}{147}]{ijcai9}.
  \url{http://ijcai.org/Past%20Proceedings/IJCAI-85-VOL1/PDF/026.pdf}

\bibitem[{Prakken and
  Vreeswijk(2002)}]{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}
Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation. In
  \cite[\PP{218}{319}]{handbookofphilosophicallogicsecondedn}

\bibitem[{Raedt et~al(2012)Raedt, Bessi{\`e}re, Dubois, Doherty, Frasconi,
  Heintz, and Lucas}]{twentiethECAItwelve}
Raedt LD, Bessi{\`e}re C, Dubois D, Doherty P, Frasconi P, Heintz F, Lucas PJF
  (eds) (2012) {\Proc\ \nth{20} \ECAIname\ (ECAI), \Aug\,27--31, 2012,
  Montepellier, France}, no. 242 in Frontiers in Artificial Intelligence and
  Applications, IOS Press, \url{http://ebooks.iospress.nl/volume/ecai-2012}

\bibitem[{Rosenfeld(1974)}]{IFIP-1974}
Rosenfeld JL (ed) (1974) {\Proc\ of the Congress of the \Int\ Federation for
  Information Processing (IFIP), Stockholm (Sweden), \Aug\,5--10, 1974},
  \northholland

\bibitem[{Simari and Loui(1992)}]{Simari-Loui-Defeasible-Reasoning-1992}
Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and
  its implementation. \artificialintelligencename 53:125--157, received
  \Feb\,1990, \rev\,\Apr\,1991

\bibitem[{Stolzenburg et~al(2003)Stolzenburg, Garc{\'\i}a, Ches{\~n}evar, and
  Simari}]{Stolzenburg-etal-Computing-Specificity-2003}
Stolzenburg F, Garc{\'\i}a AJ, Ches{\~n}evar CI, Simari GR (2003) Computing
  generalized specificity. \janclname 13:87--113,
  \url{http://www.tandfonline.com/doi/abs/10.3166/jancl.13.87-113}

\bibitem[{Wirth(1997)}]{wirthdiss}
Wirth CP (1997) Positive/Negative-Conditional Equations: A Constructor-Based
  Framework for Specification and Inductive Theorem Proving, {Schriftenreihe
  Forschungsergebnisse zur Informatik}, vol~31. {Verlag Dr.\ Kova\v c,
  Hamburg}, \PhDthesis, \uniKLshort, {ISBN 386064551X}, {\www\url{/p/diss}}

\bibitem[{Wirth(2009)}]{wirth-jsc}
Wirth CP (2009) Shallow confluence of conditional term rewriting systems.
  {\jscname} 44:69--98, \url{http://dx.doi.org/10.1016/j.jsc.2008.05.005}

\bibitem[{Wirth(2012)}]{wirth-heijenoort}
Wirth CP (2012) {\herbrandsfundamentaltheorem} in the eyes of
  {\heijenoortname}. {\logicauniversalisname} 6:485--520, received \Jan\,12,
  2012. Published online \Jun\,22, 2012,
  \url{http://dx.doi.org/10.1007/s11787-012-0056-7}

\bibitem[{Wirth(2014)}]{wirth-heijenoort-SEKI}
Wirth CP (2014) {\herbrandsfundamentaltheorem:} The Historical Facts and their
  Streamlining. {SEKI-Report SR--2014--01 (ISSN 1437--4447)}, {SEKI
  Publications}, \PPcount{ii+47}, \url{http://arxiv.org/abs/1405.6317}

\bibitem[{Wirth(2015)}]{wirth-herbrand-encyclopedia-SEKI}
Wirth CP (2015) {Herbrand's Fundamental Theorem} --- an encyclopedia article.
  {SEKI-Report SR--2015--01 (ISSN 1437--4447)}, {SEKI Publications},
  \PPcount{ii+16}, \url{http://arxiv.org/abs/1503.01412}

\bibitem[{Wirth and Gramlich(1994)}]{wgjsc}
Wirth CP, Gramlich B (1994) A constructor-based approach to
  positive/negative-conditional equational specifications. {\jscname}
  17:51--90, \url{http://dx.doi.org/10.1006/jsco.1994.1004}, \www\url{/p/jsc94}

\bibitem[{Wirth and Stolzenburg(2013)}]{Wirth_Stolzenburg_Specificity_2013}
Wirth CP, Stolzenburg F (2013) \poolename's Specificity Revised. {SEKI-Report
  SR--2013--01 (ISSN 1437--4447)}, {SEKI Publications}, \PPcount{ii+34},
  \url{http://arxiv.org/abs/1308.4943}

\bibitem[{Wirth and Stolzenburg(2014)}]{Wirth_Stolzenburg_Specificity_KR2014}
Wirth CP, Stolzenburg F (2014) \poolename's specificity revised. In
  \cite[\PP{168}{177}]{fourteenthKRfourteen}. Short version of
  \cite{Wirth_Stolzenburg_Specificity_2013}

\bibitem[{Wirth et~al(2009)Wirth, Siek{\-}mann, Benz{\-}m{\"u}ller, and
  Autexier}]{herbrand-handbook}
Wirth CP, Siek{\-}mann J, Benz{\-}m{\"u}ller {\mbox{Ch}}, Autexier S (2009)
  \herbrandname: Life, logic, and automated deduction. In \cite[\Vol\,5: Logic
  from \russell\ to \church, \PP{195}{254}]{handbook-of-the-history-of-logic}

\bibitem[{Wirth et~al(2014)Wirth, Siek{\-}mann, Benz{\-}m{\"u}ller, and
  Autexier}]{SR--2009--01}
Wirth CP, Siek{\-}mann J, Benz{\-}m{\"u}ller {\mbox{Ch}}, Autexier S (2014)
  Lectures on {\herbrandname} as a Logician. {SEKI-Report SR--2009--01 (ISSN
  1437--4447)}, {SEKI Publications}, \Rev\,\edn\ \May\,2014, \PPcount{ii+82},
  {\url{http://arxiv.org/abs/0902.4682}}

\end{thebibliography}
