\relax 
\bibstyle{spbasic}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}}
\newlabel{section where the requirement on being model-theoretic is given}{{1}{2}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Chesnevar-etal-Relating-Deafeasible-2003}
\citation{Kow74}
\citation{Prolog}
\citation{wgjsc}
\citation{wirthdiss}
\citation{wirthdiss}
\citation{wirth-jsc}
\@writefile{toc}{\contentsline {section}{\numberline {2}Basic Notions and Notation}{3}}
\newlabel{notation}{{2}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Specifying Rules and their Theories}{3}}
\newlabel{section Specifying Rules and their Theories}{{2.1}{3}}
\newlabel{definition literal}{{2}{3}}
\newlabel{definition derivation}{{3}{3}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Secondary Aspects of our Logic}{4}}
\newlabel{section secondary aspects}{{2.2}{4}}
\newlabel{remark negation}{{1}{4}}
\newlabel{definition contradictory}{{4}{4}}
\newlabel{remark weakness of our logic}{{2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Global Parameters for the Given Specification}{4}}
\newlabel{subsection Global Parameters for a Given Specification}{{2.3}{4}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Chesnevar-etal-Relating-Deafeasible-2003}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Formalization of Arguments}{5}}
\newlabel{section Formalization of Arguments}{{2.4}{5}}
\newlabel{section definition argument}{{2.4}{5}}
\newlabel{definition argument}{{5}{5}}
\newlabel{remark non-ground arguments}{{3}{5}}
\newlabel{remark non-minimal arguments}{{4}{5}}
\newlabel{note on no literals in Pi G}{{1}{5}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Quasi-Orderings}{6}}
\newlabel{subsection Quasi-Orderings}{{2.5}{6}}
\newlabel{corollary quasi-orderings}{{1}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Motivating Examples}{6}}
\newlabel{section Some Standard Examples}{{3}{6}}
\newlabel{section example poole 1 precisely}{{3}{6}}
\newlabel{section example poole 2}{{3}{6}}
\newlabel{section example poole 3}{{3}{6}}
\newlabel{section example lovely one}{{3}{6}}
\newlabel{example poole 1 precisely}{{1}{6}}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{example poole 2}{{2}{7}}
\newlabel{example poole 3}{{3}{7}}
\newlabel{example lovely one}{{4}{7}}
\citation{lambert-1764}
\@writefile{toc}{\contentsline {section}{\numberline {4}Toward an Intuitive Notion of Specificity}{8}}
\newlabel{section Toward an Intuitive Notion of Specificity}{{4}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The Common-Sense Concept of Specificity}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Arguments as an Abstraction}{8}}
\newlabel{subsection Arguments}{{4.2}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}The Intuitive R\^ole\ of Activation Sets in the Definition of Specificity}{8}}
\newlabel{subsection Activation Sets}{{4.3}{8}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Modulo Which Theory are Activation Sets to be Compared?}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}A first Sketch of a Notion of Specificity}{9}}
\newlabel{section where our first sketch of a notion of specificity is}{{4.3.2}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Isolation of the Defeasible Parts of a Derivation}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.1}Isolation of Actual Defeasible Parts in And-Trees}{10}}
\newlabel{subsubsection Precise Isolation in And-Trees}{{4.4.1}{10}}
\newlabel{section DefTree}{{4.4.1}{10}}
\newlabel{DefTree}{{6}{10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.2}A first approximation of Activation Sets}{10}}
\newlabel{section A first approximation of Activation Sets}{{4.4.2}{10}}
\newlabel{note further dissection}{{5}{10}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.3}Growth of the Defeasible Parts toward the Leaves}{11}}
\newlabel{subsubsection Growth of the Defeasible Parts toward the Leaves}{{4.4.3}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.4}First Effect: Simplified Second Sketch of a Notion of Specificity}{11}}
\newlabel{section first effect}{{4.4.4}{11}}
\newlabel{section where our second sketch of a notion of specificity is}{{4.4.4}{11}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Garcia-Simari-Defeasible-2004}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.5}Second Effect: Preference of the ``More Concise''}{12}}
\newlabel{subsubsection Preference of the ``More Concise''}{{4.4.5}{12}}
\newlabel{remark not for defeasible rules}{{5}{12}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Garcia-Simari-Defeasible-2004}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.6}Preference of the ``More Precise''}{13}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.7}Conclusion on the Preferences}{13}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {section}{\numberline {5}Requirements Specification of Specificity in Positive-Conditional Specification}{14}}
\newlabel{section Requirements Specification of Specificity}{{5}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Formalizations of Specificity}{14}}
\newlabel{section Formalizations of Specificity}{{6}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Activation Sets}{14}}
\newlabel{section where the phases are}{{6.1}{15}}
\newlabel{section definition activation set}{{6.1}{15}}
\newlabel{definition activation set}{{7}{15}}
\newlabel{corollary simplified activation is activation}{{2}{15}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Poole-Preferring-Most-Specific-1985}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces And-Tree with Phases 1, 2, 3.{\footnotemark }}}{16}}
\newlabel{figure defeasible parts with explicit roots}{{1}{16}}
\newlabel{section figureisc}{{6.1}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}{Poole}'s Specificity Relation P1 and its Minor Corrections P2, P3}{16}}
\newlabel{subsection Specificity Relation P1}{{6.2}{16}}
\newlabel{section example P not transitive}{{6.2}{16}}
\newlabel{DefSpec1}{{8}{16}}
\newlabel{DefSpec2}{{9}{17}}
\newlabel{example not well on non-defeasible arguments}{{5}{17}}
\newlabel{DefSpec}{{10}{17}}
\newlabel{corollary sub-argument P}{{3}{17}}
\citation{Wirth_Stolzenburg_Specificity_2013}
\citation{Wirth_Stolzenburg_Specificity_2013}
\citation{Wirth_Stolzenburg_Specificity_KR2014}
\newlabel{corollary ordering the P}{{4}{18}}
\newlabel{example P not transitive}{{6}{18}}
\newlabel{lemma P not transitive}{{1}{18}}
\newlabel{footnote find a counterexample}{{21}{18}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Main Negative Result: Not Transitive!}{19}}
\newlabel{theorem P not transitive}{{1}{19}}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Our Novel Specificity Ordering CP1}{20}}
\newlabel{subsection Our Novel Specificity Ordering CP}{{6.4}{20}}
\newlabel{definition CP specificity}{{11}{20}}
\newlabel{corollary sub-argument CP}{{5}{20}}
\newlabel{theorem CP quasi-ordering}{{2}{21}}
\newlabel{corollary wellfounded}{{6}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5}Relation between the Specificity Relations P3 and CP1}{21}}
\newlabel{section theorem super quasi-ordering}{{6.5}{21}}
\newlabel{theorem super quasi-ordering}{{3}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6}Checking Up the Previous Examples}{22}}
\newlabel{section example poole 1 precisely discussion}{{6.6}{22}}
\newlabel{section example poole 2 discussion}{{6.6}{22}}
\newlabel{section example poole 3 discussion}{{6.6}{22}}
\newlabel{section example lovely one discussion}{{6.6}{22}}
\newlabel{example poole 1 precisely discussion}{{7}{22}}
\newlabel{remark technically required emphasis}{{6}{22}}
\newlabel{note continuity advantage}{{27}{22}}
\newlabel{example poole 2 discussion}{{8}{23}}
\newlabel{example poole 3 discussion}{{9}{23}}
\newlabel{example lovely one discussion}{{10}{23}}
\newlabel{note strong reasons}{{28}{23}}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{example P not transitive discussion}{{11}{24}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Putting Specificity to Test w.r.t.\ Human Intuition}{24}}
\newlabel{section Putting Specificity to Test}{{7}{24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Monotonicity of the Specificity Relations w.r.t.\ Conjunction}{24}}
\newlabel{subsection Monotonicity of Preference}{{7.1}{24}}
\newlabel{section example poole 6}{{7.1}{24}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{example poole 6}{{12}{25}}
\newlabel{example variation 1 poole 6}{{13}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Implementation of the Preference of the ``More Precise''}{26}}
\newlabel{section example stolzenburg 2}{{7.2}{26}}
\newlabel{section example stolzenburg 3}{{7.2}{26}}
\newlabel{variation 2 example poole 6}{{14}{26}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{example stolzenburg 2}{{15}{27}}
\newlabel{example stolzenburg 3}{{16}{27}}
\newlabel{footnote difference in F crucial two}{{30}{27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Conflict between the ``More Concise'' and the ``More Precise''}{28}}
\newlabel{example variation 3 poole 6}{{17}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Global Effect matters more than Fine Structure}{28}}
\newlabel{section example stolzenburg 1}{{7.4}{28}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\newlabel{example stolzenburg 1}{{18}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Efficiency Considerations and the Specificity Ordering CP2}{29}}
\newlabel{section Efficiency Considerations}{{8}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}A Slight Gain in Efficiency}{29}}
\newlabel{subsection A Minor Gain of Efficiency}{{8.1}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Comparing Derivations}{29}}
\citation{Gelfond_Przymusinska_1990}
\citation{DS96}
\citation{BG97b}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.1}No Pruning Required}{30}}
\newlabel{subsubsection No Pruning Required}{{8.2.1}{30}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.2}Sets of Derivations have to be Compared}{30}}
\newlabel{section example a minimal argument with two minimal activation sets}{{8.2.2}{30}}
\newlabel{example a minimal argument with two minimal activation sets}{{19}{30}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.3}Path Criteria?}{30}}
\newlabel{subsubsection Path Criteria}{{8.2.3}{30}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{better}{{14}{31}}
\newlabel{example failure}{{20}{31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Toward a More Efficiently Realizable Notion of {Poole}-Style Specificity}{32}}
\newlabel{CP2}{{8.3}{32}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.1}Immediate Activation Sets}{32}}
\newlabel{section example CP1 versus CP2}{{8.3.1}{32}}
\newlabel{section definition immediate activation set}{{8.3.1}{32}}
\newlabel{section example a minimal argument with two minimal activation sets discussion}{{8.3.1}{32}}
\newlabel{definition inessential}{{15}{32}}
\newlabel{definition immediate activation set}{{16}{33}}
\newlabel{corollary less immediate activation sets}{{7}{34}}
\newlabel{definition CP2 specificity}{{17}{34}}
\newlabel{corollary sub-argument CP2}{{8}{34}}
\newlabel{note omit condition}{{36}{34}}
\citation{Wirth_Stolzenburg_Specificity_2013}
\newlabel{theorem CP2 quasi-ordering}{{4}{35}}
\newlabel{example CP1 versus CP2}{{21}{35}}
\newlabel{example stolzenburg 1 reconsidered}{{22}{37}}
\newlabel{example a minimal argument with two minimal activation sets discussion}{{23}{37}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.2}Special Cases with Simple Activation-Set Computation}{37}}
\newlabel{section Special Case with Simple Activation-Set Computation}{{8.3.2}{37}}
\newlabel{theorem no general rules}{{5}{37}}
\newlabel{corollary disappointing}{{10}{38}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.3}A Step Toward Operationalization of Immediate Activation Sets}{38}}
\newlabel{subsubsection Operationalization of Immediate Activation Sets}{{8.3.3}{38}}
\newlabel{remark ground conclusions}{{10}{39}}
\newlabel{example 2 computation with procedure}{{24}{41}}
\newlabel{example 3 computation with procedure}{{25}{42}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.4}A Specificity Relation Based on Given And-Trees}{42}}
\newlabel{section A Specificity Relation on And-Trees}{{8.3.4}{42}}
\citation{herbrand-PhD}
\citation{herbrand-handbook}
\citation{herbrand-handbook}
\citation{SR--2009--01}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort-SEKI}
\citation{wirth-herbrand-encyclopedia-SEKI}
\citation{Prolog}
\newlabel{remark complexity}{{14}{44}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{FS+15b}
\citation{Furbach-etal-AR-in-NL-Question-Answering-2010}
\@writefile{toc}{\contentsline {section}{\numberline {9}Conclusion}{45}}
\newlabel{section Conclusion}{{9}{45}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}Summary}{45}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Application Contexts}{45}}
\citation{Dung_Acceptability_of_Arguments_1995}
\citation{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}
\citation{Modgil_Prakken_ASPIC_Tutorial_2014}
\citation{Modgil_Prakken_ASPIC_Tutorial_2014}
\citation{Kern-Isberner-Thimm-Ranking-Semantics-2012}
\citation{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}
\citation{Besnard_etal_A_Conditional_Argumentation_Framework_2013}
\citation{Furbach-etal-AR-in-NL-Question-Answering-2010}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3}More Conservative instead of More Specific?}{46}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{writing-mathematics}
\bibdata{specificity}
\bibcite{fourteenthKRfourteen}{{1}{2014}{{Baral et~al}}{{Baral, De~Giacomo, and Eiter}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4}Critical Assessment of Our Novel Specificity Orderings}{47}}
\bibcite{BG97b}{{2}{1997}{{Benferhat and Garcia}}{{}}}
\bibcite{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}{{3}{2001}{{Besnard and Hunter}}{{}}}
\bibcite{Besnard_etal_A_Conditional_Argumentation_Framework_2013}{{4}{2013}{{Besnard et~al}}{{Besnard, Gr{\'e}goire, and Raddaoui}}}
\citation{seventhSUMthirteen}
\bibcite{Chesnevar-etal-Relating-Deafeasible-2003}{{5}{2003}{{Ches{\~n}evar et~al}}{{Ches{\~n}evar, Dix, Stolzenburg, and Simari}}}
\bibcite{Prolog}{{6}{2003}{{Clocksin and Mellish}}{{}}}
\bibcite{Dung_Acceptability_of_Arguments_1995}{{7}{1995}{{Dung}}{{}}}
\bibcite{DS96}{{8}{1996}{{Dung and Son}}{{}}}
\bibcite{Furbach-etal-AR-in-NL-Question-Answering-2010}{{9}{2010}{{Furbach et~al}}{{Furbach, Gl{\"o}ckner, and Pelzer}}}
\bibcite{FS+15b}{{10}{2015}{{Furbach et~al}}{{Furbach, Schon, Stolzenburg, Weis, and Wirth{\index {Wirth, Claus-Peter (*1963)}}}}}
\bibcite{handbookofphilosophicallogicsecondedn}{{11}{2002}{{Gabbay}}{{}}}
\bibcite{handbook-of-the-history-of-logic}{{12}{2004\unhbox \voidb@x \hbox {}{ff.}}{{Gabbay and Woods}}{{}}}
\bibcite{Garcia-Simari-Defeasible-2004}{{13}{2004}{{Garc{\'\i }a and Simari}}{{}}}
\bibcite{Gelfond_Przymusinska_1990}{{14}{1990}{{Gelfond and Przymusinska}}{{}}}
\bibcite{writing-mathematics}{{15}{1987}{{Gillman}}{{}}}
\bibcite{herbrand-PhD}{{16}{1930}{{Herbrand}}{{}}}
\bibcite{ijcai9}{{17}{1985}{{Joshi}}{{}}}
\bibcite{Kern-Isberner-Thimm-Ranking-Semantics-2012}{{18}{2012}{{Kern-Isberner and Thimm}}{{}}}
\citation{twentiethECAItwelve}
\bibcite{Kow74}{{19}{1974}{{Kowalski}}{{}}}
\citation{IFIP-1974}
\bibcite{lambert-1764}{{20}{1764}{{Lambert}}{{}}}
\bibcite{seventhSUMthirteen}{{21}{2013}{{Liu et~al}}{{Liu, Subrahmanian, and Wijsen}}}
\bibcite{Modgil_Prakken_ASPIC_Tutorial_2014}{{22}{2014}{{Modgil and Prakken}}{{}}}
\bibcite{Poole-Preferring-Most-Specific-1985}{{23}{1985}{{Poole}}{{}}}
\citation{ijcai9}
\bibcite{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}{{24}{2002}{{Prakken and Vreeswijk}}{{}}}
\citation{handbookofphilosophicallogicsecondedn}
\bibcite{twentiethECAItwelve}{{25}{2012}{{Raedt et~al}}{{Raedt, Bessi{\`e}re, Dubois, Doherty, Frasconi, Heintz, and Lucas}}}
\bibcite{IFIP-1974}{{26}{1974}{{Rosenfeld}}{{}}}
\bibcite{Simari-Loui-Defeasible-Reasoning-1992}{{27}{1992}{{Simari and Loui}}{{}}}
\bibcite{Stolzenburg-etal-Computing-Specificity-2003}{{28}{2003}{{Stolzenburg et~al}}{{Stolzenburg, Garc{\'\i }a, Ches{\~n}evar, and Simari}}}
\bibcite{wirthdiss}{{29}{1997}{{Wirth}}{{}}}
\bibcite{wirth-jsc}{{30}{2009}{{Wirth}}{{}}}
\bibcite{wirth-heijenoort}{{31}{2012}{{Wirth}}{{}}}
\bibcite{wirth-heijenoort-SEKI}{{32}{2014}{{Wirth}}{{}}}
\bibcite{wirth-herbrand-encyclopedia-SEKI}{{33}{2015}{{Wirth}}{{}}}
\bibcite{wgjsc}{{34}{1994}{{Wirth and Gramlich}}{{}}}
\bibcite{Wirth_Stolzenburg_Specificity_2013}{{35}{2013}{{Wirth and Stolzenburg}}{{}}}
\bibcite{Wirth_Stolzenburg_Specificity_KR2014}{{36}{2014}{{Wirth and Stolzenburg}}{{}}}
\citation{fourteenthKRfourteen}
\citation{Wirth_Stolzenburg_Specificity_2013}
\bibcite{herbrand-handbook}{{37}{2009}{{Wirth et~al}}{{Wirth, Siek{\discretionary {-}{}{}}mann, Benz{\discretionary {-}{}{}}m{\"u}ller, and Autexier}}}
\citation{handbook-of-the-history-of-logic}
\bibcite{SR--2009--01}{{38}{2014}{{Wirth et~al}}{{Wirth, Siek{\discretionary {-}{}{}}mann, Benz{\discretionary {-}{}{}}m{\"u}ller, and Autexier}}}