%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Nov 30 11:37:15 MST 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ \& $}{% Zeugmann:1992:RRS% }. \NAMECITE{$ \delta $}{% Akama:2008:CCL% }. \NAMECITE{$k$}{% Rossmanith:1998:LVPa,% Rossmanith:1998:LVPb% }. \NAMECITE{$ {\bf Z} / p^\alpha $}{% Zeugmann:1989:IPC% }. \NAMECITE{-delay}{% Akama:2008:CCL% }. \NAMECITE{-Variable}{% Rossmanith:1998:LVPa,% Rossmanith:1998:LVPb% }. \NAMECITE{10th}{% Enjalbert:1993:SAS% }. \NAMECITE{16th}{% Meinel:1999:STACS% }. \NAMECITE{1st}{% Dix:1990:NIL,% Dix:1991:NIL% }. \NAMECITE{{24th}}{% Jain:2016:GEF% }. \NAMECITE{2nd}{% Brewka:1993:NIL,% Vitanyi:1995:CLT,% Zeugmann:1989:RBC% }. \NAMECITE{3rd}{% Fulk:1990:CPA% }. \NAMECITE{4th}{% Arikawa:1994:ALT,% Honavar:1998:ICGI% }. \NAMECITE{5th}{% Arikawa:1994:ALT,% Haussler:1992:PAA% }. \NAMECITE{60th}{% Case:2008:FFY% }. \NAMECITE{6th}{% Jantke:1995:ALT,% Pitt:1993:PAA% }. \NAMECITE{7th}{% Arikawa:1996:ALT% }. \NAMECITE{'89}{% Jantke:1989:AII% }. \NAMECITE{8th}{% Li:1997:ALT,% Yao:1995:AJC% }. \NAMECITE{'93}{% Shawe-Taylor:1994:CLT% }. \NAMECITE{9th}{% Richter:1998:ALT% }. \NAMECITE{A-posteriori}{% Zeugmann:1983:PCI% }. \NAMECITE{ability}{% Sakamoto:1997:LAD% }. \NAMECITE{abstract}{% Kinber:1989:RQI% }. \NAMECITE{{ACM}}{% Fulk:1990:CPA,% Haussler:1992:PAA,% Pitt:1993:PAA% }. \NAMECITE{Across}{% Zeugmann:1994:GTA,% Zeugmann:1995:GTA% }. \NAMECITE{Active}{% Freivalds:2014:ALR% }. \NAMECITE{AII}{% Jantke:1989:AII% }. \NAMECITE{{AII}'92}{% Jantke:1992:AII% }. \NAMECITE{{AII}'94}{% Arikawa:1994:ALT% }. \NAMECITE{Akademgorodok}{% Bjorner:1996:PSI% }. \NAMECITE{Algorithm}{% Zeugmann:1995:LWP,% Zeugmann:1998:LWP% }. \NAMECITE{Algorithmic}{% Arikawa:1994:ALT,% Arikawa:1996:ALT,% Jain:2016:GEF,% Jantke:1995:ALK,% Jantke:1995:ALT,% Li:1997:ALT,% Richter:1998:ALT,% Zeugmann:1997:SIA,% Balbach:2009:RDA,% Hutter:2013:GEF,% Ben-David:2007:FAL,% Bshouty:2014:GEF,% Cesa-Bianchi:2006:FAL,% Gyorfi:2010:GEF,% Kivinen:2014:GEI% }. \NAMECITE{algorithmischen}{% Zeugmann:1983:ASS% }. \NAMECITE{Algorithmisches}{% Zeugmann:1993:IAL,% Zeugmann:1993:ALF% }. \NAMECITE{Algorithms}{% Reischuk:1998:AAC,% Zeugmann:1989:RBC,% Zeugmann:1990:PA,% Zeugmann:1992:RRS,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Freivalds:2014:ALR,% Reischuk:1999:AAC% }. \NAMECITE{almost}{% Kinber:1985:IIA% }. \NAMECITE{ALT}{% Gyorfi:2010:GEF,% Jain:2016:GEF,% Cesa-Bianchi:2006:FAL% }. \NAMECITE{{ALT}'94}{% Arikawa:1994:ALT% }. \NAMECITE{{ALT}'95}{% Jantke:1995:ALT% }. \NAMECITE{{ALT}'96}{% Arikawa:1996:ALT% }. \NAMECITE{{ALT}'97}{% Li:1997:ALT% }. \NAMECITE{{ALT}'98}{% Richter:1998:ALT% }. \NAMECITE{Ames}{% Honavar:1998:ICGI% }. \NAMECITE{amount}{% Freivalds:2011:ANL,% Jain:2012:ANL% }. \NAMECITE{Analogical}{% Arikawa:1994:ALT,% Jantke:1987:AII,% Jantke:1992:AII,% Jantke:1989:AII% }. \NAMECITE{Analysis}{% Reischuk:1999:AV,% Romisch:2016:MAM,% Zeugmann:1989:RBC,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Reischuk:1999:CTA% }. \NAMECITE{Analyzing}{% Reischuk:1998:AAC,% Reischuk:1999:AAC% }. \NAMECITE{Andrei}{% Bjorner:1996:PSI% }. \NAMECITE{Annual}{% Bartlett:1998:CPA,% Enjalbert:1993:SAS,% Fulk:1990:CPA,% Haussler:1992:PAA,% Pitt:1993:PAA% }. \NAMECITE{Anomalies}{% Gasarch:1995:LQT,% Grieser:2000:LRC,% Kinber:1990:LQT% }. \NAMECITE{Approach}{% Lange:1992:UAM% }. \NAMECITE{approximations}{% Lange:2005:IIA,% MR1788537,% Stephan:2002:LCA% }. \NAMECITE{Artificial}{% Yao:1995:AJC% }. \NAMECITE{Asking}{% Erlebach:1997:OP,% Erlebach:1997:LOV,% Erlebach:2001:LOV% }. \NAMECITE{Aspects}{% Enjalbert:1993:SAS,% Meinel:1999:STACS% }. \NAMECITE{August}{% Csirik:1989:FCT,% Rovan:1990:MFC% }. \NAMECITE{Australia}{% Arikawa:1996:ALT% }. \NAMECITE{Australian}{% Yao:1995:AJC% }. \NAMECITE{automata}{% Freivalds:2013:SCD,% Sakamoto:1997:LAD% }. \NAMECITE{Average}{% Erlebach:1997:OP,% Reischuk:1997:LOV,% Reischuk:1998:AAC,% Reischuk:1998:OP,% Reischuk:1999:AV,% Reischuk:2000:ACO,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Erlebach:1997:LOV,% Erlebach:2001:LOV,% Reischuk:1998:LOV,% Reischuk:1998:LOVb,% Reischuk:1999:AAC,% Reischuk:1999:CTA,% Rossmanith:1998:LVPb% }. \NAMECITE{Average-Case}{% Reischuk:1998:AAC,% Reischuk:1999:AV,% Reischuk:2000:ACO,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Reischuk:1999:AAC,% Reischuk:1999:CTA% }. \NAMECITE{{Baase}}{% Zeugmann:1989:RBC% }. \NAMECITE{Bansk{\'a}}{% Rovan:1990:MFC% }. \NAMECITE{Barcelona}{% Vitanyi:1995:CLT% }. \NAMECITE{{Barzdin}}{% Zeugmann:1987:BC% }. \NAMECITE{Based}{% Jantke:1995:ALK% }. \NAMECITE{be}{% Wiehagen:1992:TMI,% Wiehagen:1994:IDM,% Wiehagen:1995:TMI,% Zeugmann:2003:CLL% }. \NAMECITE{Behavior}{% Reischuk:1998:AAC,% Reischuk:1999:AAC% }. \NAMECITE{birthday}{% Case:2008:FFY% }. \NAMECITE{Boundaries}{% Zeugmann:1994:GTA,% Zeugmann:1995:GTA% }. \NAMECITE{Bounded}{% Case:1997:ICL,% Case:1999:ICL,% Lange:1993:LLB,% Lange:1993:LRLa,% Gao:2018:HBS,% Lange:1992:LRL,% Lange:1993:LRL% }. \NAMECITE{Bystrica}{% Rovan:1990:MFC% }. \NAMECITE{California}{% Pitt:1993:PAA% }. \NAMECITE{Can}{% Wiehagen:1995:TMI,% Zeugmann:2003:CLL,% Wiehagen:1992:TMI% }. \NAMECITE{{Carlo}}{% Kinber:1989:MCI% }. \NAMECITE{Case}{% Reischuk:1998:AAC,% Reischuk:1999:AV,% Reischuk:2000:ACO,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Reischuk:1999:AAC,% Reischuk:1999:CTA% }. \NAMECITE{Castle}{% Arikawa:1994:ALT,% Jantke:1989:AII% }. \NAMECITE{Changes}{% Lange:1993:LLB,% Lange:1993:LRLa,% Lange:1995:TMDa,% Balbach:2005:TLR,% Lange:1992:LRL,% Lange:1993:LRL,% Lange:1995:TMD% }. \NAMECITE{Characterization}{% Lange:1992:TML,% Lange:1994:CLL% }. \NAMECITE{Characterizations}{% Zeugmann:1983:PCI,% Zeugmann:1992:CCP,% Zeugmann:1995:CMD% }. \NAMECITE{Class}{% Lange:1992:CPM,% Zeugmann:1992:CCP,% Jordan:2010:NTR% }. \NAMECITE{classes}{% Jordan:2012:TUC,% Stephan:2002:LCA,% Zeugmann:1984:ROV% }. \NAMECITE{Classification}{% Wiehagen:1994:CPL% }. \NAMECITE{Classifying}{% Smith:1997:CPL,% Wiehagen:1993:CRP,% Wiehagen:1995:CRP% }. \NAMECITE{Clustering}{% Ito:2010:CNC% }. \NAMECITE{Co}{% Freivalds:1995:CLR,% Freivalds:1996:CLR% }. \NAMECITE{Co-Learning}{% Freivalds:1995:CLR% }. \NAMECITE{coherent}{% Akama:2008:CCL% }. \NAMECITE{Colloquium}{% Honavar:1998:ICGI% }. \NAMECITE{{COLT}}{% Zeugmann:1994:RC% }. \NAMECITE{{COLT}'90}{% Fulk:1990:CPA% }. \NAMECITE{comparators}{% Gao:2018:HBS% }. \NAMECITE{Complete}{% Reischuk:1999:AV,% Reischuk:1999:CTA% }. \NAMECITE{complexity}{% Freivalds:2013:SCD,% Zeugmann:2018:GEF% }. \NAMECITE{compression}{% Ito:2010:CNC% }. \NAMECITE{Computation}{% Romisch:2016:MAM,% Csirik:1989:FCT% }. \NAMECITE{Computational}{% Bartlett:1998:CPA,% Fulk:1990:CPA,% Haussler:1992:PAA,% Pitt:1993:PAA,% Shawe-Taylor:1994:CLT,% Vitanyi:1995:CLT% }. \NAMECITE{Computations}{% Zeugmann:1992:HPC,% Zeugmann:1989:IPC% }. \NAMECITE{Computer}{% Enjalbert:1993:SAS,% Meinel:1999:STACS,% Rovan:1990:MFC,% Zeugmann:1989:RBC% }. \NAMECITE{Computing}{% Zeugmann:1990:CLP% }. \NAMECITE{Concept}{% Case:1997:ICL,% Case:1999:ICL% }. \NAMECITE{concepts}{% Grieser:2000:LRC,% Lange:2005:IIA% }. \NAMECITE{Conference}{% Bartlett:1998:CPA,% Bjorner:1996:PSI,% Csirik:1989:FCT,% Jain:2016:GEF,% Pitt:1993:PAA,% Richter:1998:ALT,% Vitanyi:1995:CLT,% Yao:1995:AJC% }. \NAMECITE{conjecture}{% Zeugmann:1987:BC% }. \NAMECITE{Conjunctive}{% Reischuk:1998:AAC,% Reischuk:1999:AAC% }. \NAMECITE{Consistency}{% Wiehagen:1994:LC,% Wiehagen:1995:LC% }. \NAMECITE{Consistent}{% Akama:2008:CCL% }. \NAMECITE{Constraints}{% Lange:1994:CLL% }. \NAMECITE{correct}{% Kinber:1985:IIA% }. \NAMECITE{Cruz}{% Pitt:1993:PAA% }. \NAMECITE{Czechoslovakia}{% Rovan:1990:MFC% }. \NAMECITE{Data}{% Case:1997:ICL,% Case:1999:ICL,% Freivalds:1995:CLR,% Freivalds:1996:CLR,% Lange:1995:MIL,% Lange:1996:ILP,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Tabe:1995:TVIa,% Wiehagen:1994:IDM,% Ito:2010:CNC,% Jain:2012:ANL,% Lange:2008:LIF,% Rossmanith:1998:LVPb,% Tabe:1995:TVIb% }. \NAMECITE{December}{% Dix:1991:NIL% }. \NAMECITE{dedicated}{% Jain:2016:GEF,% Case:2008:FFY% }. \NAMECITE{delay}{% Akama:2008:CCL% }. \NAMECITE{Demands}{% Lange:1995:TMDa,% Lange:1995:TMD,% Lange:1995:TMDb% }. \NAMECITE{Dependence}{% Lange:1993:LRLb,% Lange:1993:LLD% }. \NAMECITE{Design}{% Zeugmann:1989:RBC% }. \NAMECITE{deterministic}{% Freivalds:2013:SCD,% Sakamoto:1997:LAD% }. \NAMECITE{developments}{% Balbach:2009:RDA% }. \NAMECITE{Dezember}{% Brewka:1993:NIL% }. \NAMECITE{distance}{% Ito:2010:CNC% }. \NAMECITE{done}{% Zeugmann:2003:CLL% }. \NAMECITE{Driven}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{Dual}{% Zeugmann:1992:CCP,% Lange:1992:CPM,% Lange:1996:MDM,% Zeugmann:1995:CMD% }. \NAMECITE{ed}{% Zeugmann:1989:RBC% }. \NAMECITE{Editor}{% Jantke:1995:EI,% Richter:1998:EI,% Zeugmann:1997:SIA,% Bshouty:2014:GEF,% Gyorfi:2010:GEF,% Kivinen:2014:GEI,% Zeugmann:2018:GEF% }. \NAMECITE{{Editors'}}{% Auer:2016:GEF,% Jain:2016:GEF,% Hutter:2013:GEF% }. \NAMECITE{effective}{% Zeugmann:1984:NTE% }. \NAMECITE{efficiency}{% Lange:1995:TMDb% }. \NAMECITE{Efficient}{% Erlebach:1996:ELO,% Wiehagen:1995:TMI% }. \NAMECITE{Efficiently}{% Erlebach:1997:OP,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Wiehagen:1994:IDM,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Rossmanith:1998:LVPb,% Wiehagen:1992:TMI,% Zeugmann:2003:CLL% }. \NAMECITE{Eleventh}{% Bartlett:1998:CPA% }. \NAMECITE{Erasing}{% Lange:1996:LBE,% Lange:1996:LEa,% Jain:2000:LLF,% Lange:1996:LEb% }. \NAMECITE{Error}{% Kinber:1991:OSE% }. \NAMECITE{Ershov}{% Bjorner:1996:PSI% }. \NAMECITE{Eurocolt}{% Shawe-Taylor:1994:CLT% }. \NAMECITE{EuroColt'95}{% Vitanyi:1995:CLT% }. \NAMECITE{European}{% Vitanyi:1995:CLT% }. \NAMECITE{everywhere}{% Kinber:1985:IIA% }. \NAMECITE{Examples}{% Erlebach:1996:ELO% }. \NAMECITE{expressible}{% Jordan:2009:RPE,% Jordan:2010:UPE% }. \NAMECITE{extended}{% Kinber:1989:RQI% }. \NAMECITE{Factors}{% Zeugmann:1992:HPC% }. \NAMECITE{families}{% Lange:2008:LIF% }. \NAMECITE{Fast}{% Zeugmann:1981:IIF,% Zeugmann:1990:CLP% }. \NAMECITE{Fastest}{% Zeugmann:1982:FIF,% Zeugmann:1983:SFP,% Zeugmann:1983:FIF,% Zeugmann:1984:ROV% }. \NAMECITE{{FCT}'89}{% Csirik:1989:FCT% }. \NAMECITE{February}{% Enjalbert:1993:SAS% }. \NAMECITE{feedback}{% Balbach:2006:TMR,% Balbach:2011:TRL% }. \NAMECITE{final}{% Jantke:1995:ALK% }. \NAMECITE{Finite}{% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Zeugmann:1982:FIF,% Rossmanith:1998:LVPb,% Sakamoto:1997:LAD,% Zeugmann:1983:FIF,% Zeugmann:2006:LLS% }. \NAMECITE{first}{% Jordan:2008:IFO,% Jordan:2010:UPE,% Jordan:2012:TUC% }. \NAMECITE{first-order}{% Jordan:2008:IFO,% Jordan:2010:UPE,% Jordan:2012:TUC% }. \NAMECITE{Foreword}{% Ben-David:2007:FAL,% Case:2008:FFY,% Cesa-Bianchi:2006:FAL,% Zeugmann:2018:GEF,% Auer:2016:GEF,% Bshouty:2014:GEF,% Gyorfi:2010:GEF,% Hutter:2013:GEF,% Jain:2016:GEF% }. \NAMECITE{formal}{% Jain:2012:ANL% }. \NAMECITE{formulae}{% Jordan:2012:TUC% }. \NAMECITE{{Forty}}{% Case:2008:FFY% }. \NAMECITE{foundations}{% Rovan:1990:MFC% }. \NAMECITE{four}{% Jordan:2010:UPE% }. \NAMECITE{{Freivalds}}{% Zeugmann:2016:ORM% }. \NAMECITE{Frequency}{% Kinber:1989:MCI,% Kinber:1991:OSE,% Freivalds:2013:SCD% }. \NAMECITE{Fukuoka}{% Jantke:1995:ALT% }. \NAMECITE{Functions}{% Zeugmann:1983:PCI,% Freivalds:2011:ANL,% Freivalds:2014:ALR,% Jain:2000:LLF,% Jain:2001:LRF,% Jain:2003:LFR,% MR1788537,% Stephan:2002:LCA,% Zeugmann:1984:ROV,% Zeugmann:2008:LRF% }. \NAMECITE{Fundamentals}{% Csirik:1989:FCT% }. \NAMECITE{Funktionen}{% Zeugmann:1993:ALF,% Zeugmann:1993:IAL% }. \NAMECITE{GDR}{% Jantke:1989:AII% }. \NAMECITE{generation}{% Zeugmann:1984:ROV% }. \NAMECITE{Germany}{% Arikawa:1994:ALT,% Brewka:1993:NIL,% Dix:1990:NIL,% Dix:1991:NIL,% Enjalbert:1993:SAS,% Meinel:1999:STACS,% Richter:1998:ALT% }. \NAMECITE{{GOSLER}}{% Jantke:1995:ALK% }. \NAMECITE{Grammatical}{% Honavar:1998:ICGI% }. \NAMECITE{Guest}{% Bshouty:2014:GEF,% Gyorfi:2010:GEF,% Hutter:2013:GEF,% Kivinen:2014:GEI,% Zeugmann:1997:SIA,% Auer:2016:GEF,% Jain:2016:GEF,% Zeugmann:2018:GEF% }. \NAMECITE{Guided}{% Zeugmann:1994:GTA,% Zeugmann:1995:GTA% }. \NAMECITE{Having}{% Zeugmann:1992:HPC,% Zeugmann:1984:ROV% }. \NAMECITE{help}{% Gao:2018:HBS% }. \NAMECITE{Highly}{% Zeugmann:1992:HPC% }. \NAMECITE{Hungary}{% Csirik:1989:FCT% }. \NAMECITE{hypotheses}{% Lange:1993:LLD% }. \NAMECITE{Hypothesis}{% Lange:1993:LRLb% }. \NAMECITE{{ICGI}'98}{% Honavar:1998:ICGI% }. \NAMECITE{Identification}{% Kinber:1989:MCI,% Kinber:1991:OSE,% Zeugmann:1982:FIF,% Zeugmann:1983:FIF% }. \NAMECITE{Ignoring}{% Wiehagen:1994:IDM% }. \NAMECITE{Impact}{% Lange:1993:IOI% }. \NAMECITE{Improved}{% Zeugmann:1989:IPC% }. \NAMECITE{Incremental}{% Case:1997:ICL,% Case:1999:ICL,% Lange:1995:MIL,% Lange:1995:RIL,% Lange:1996:ILP% }. \NAMECITE{Independence}{% Lange:1993:IOI% }. \NAMECITE{Independent}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{indexed}{% Lange:2008:LIF% }. \NAMECITE{Indistinguishability}{% Jordan:2008:IFO% }. \NAMECITE{Inductive}{% Arikawa:1994:ALT,% Brewka:1993:NIL,% Dix:1990:NIL,% Jantke:1992:AII,% Kinber:1985:IIA,% Kinber:1991:OSE,% Lange:2005:IIA,% Tabe:1995:TVIa,% Zeugmann:1981:IIF,% Zeugmann:1983:PCI,% Zeugmann:1983:SFP,% Zeugmann:1990:IIO,% Zeugmann:1991:IIO,% Zeugmann:2006:IIL,% Case:2008:FFY,% Dix:1991:NIL,% Gao:2018:HBS,% Jantke:1987:AII,% Jantke:1989:AII,% Tabe:1995:TVIb% }. \NAMECITE{Inference}{% Arikawa:1994:ALT,% Honavar:1998:ICGI,% Jantke:1992:AII,% Kinber:1989:MCI,% Kinber:1991:OSE,% Kinber:1993:RQI,% Tabe:1995:TVIa,% Zeugmann:1981:IIF,% Zeugmann:1983:PCI,% Zeugmann:1983:SFP,% Zeugmann:1990:IIO,% Case:2008:FFY,% Gao:2018:HBS,% Jantke:1987:AII,% Jantke:1989:AII,% Kinber:1985:IIA,% Kinber:1989:RQI,% Lange:2005:IIA,% Tabe:1995:TVIb,% Zeugmann:1991:IIO,% Zeugmann:2006:IIL% }. \NAMECITE{influence}{% Kucevalovs:2014:ITL% }. \NAMECITE{influenza}{% Ito:2010:CNC% }. \NAMECITE{Informant}{% Lange:1992:UAM,% Lange:1994:CLL% }. \NAMECITE{Informatics}{% Bjorner:1996:PSI% }. \NAMECITE{Information}{% Wiehagen:1995:TMI,% Wiehagen:1992:TMI% }. \NAMECITE{Intelligence}{% Yao:1995:AJC% }. \NAMECITE{Internat}{% Arikawa:1994:ALT,% Jantke:1992:AII% }. \NAMECITE{International}{% Arikawa:1996:ALT,% Bjorner:1996:PSI,% Brewka:1993:NIL,% Csirik:1989:FCT,% Dix:1990:NIL,% Honavar:1998:ICGI,% Jain:2016:GEF,% Jantke:1989:AII,% Jantke:1995:ALT,% Li:1997:ALT,% Meinel:1999:STACS,% Richter:1998:ALT,% Dix:1991:NIL% }. \NAMECITE{Introduction}{% Jantke:1995:EI,% Richter:1998:EI,% Zeugmann:1989:RBC,% Kivinen:2014:GEI% }. \NAMECITE{Iowa}{% Honavar:1998:ICGI% }. \NAMECITE{Issue}{% Zeugmann:1997:SIA,% Hutter:2013:GEF,% Jain:2016:GEF,% Zeugmann:2018:GEF% }. \NAMECITE{Japan}{% Jantke:1995:ALT,% Li:1997:ALT% }. \NAMECITE{Joint}{% Yao:1995:AJC% }. \NAMECITE{June}{% Bjorner:1996:PSI% }. \NAMECITE{k-Variable}{% Rossmanith:1998:PL% }. \NAMECITE{Karlsruhe}{% Dix:1990:NIL,% Dix:1991:NIL% }. \NAMECITE{Knowledge}{% Jantke:1995:ALK% }. \NAMECITE{Knowledge-Based}{% Jantke:1995:ALK% }. \NAMECITE{Lange}{% Zeugmann:1995:LWP,% Zeugmann:1998:LWP% }. \NAMECITE{Language}{% Lange:1992:PML,% Lange:1992:TML,% Lange:1992:UAM,% Lange:1993:LLB,% Lange:1993:LLD,% Lange:1994:CLL,% Reischuk:2000:ACO,% Zeugmann:1992:CCP,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Lange:1992:CPM,% Lange:1993:MVN,% Lange:1996:MDM,% Zeugmann:1995:CMD,% Zeugmann:2006:IIL% }. \NAMECITE{Languages}{% Erlebach:1996:ELO,% Erlebach:1997:OP,% Freivalds:1995:CLR,% Freivalds:1996:CLR,% Lange:1993:IOI,% Lange:1993:LRLa,% Lange:1993:LRLb,% Lange:1994:SDR,% Reischuk:1997:LOV,% Reischuk:1998:OP,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Smith:1997:CPL,% Tabe:1995:TVIa,% Wiehagen:1993:CRP,% Wiehagen:1994:CPL,% Zeugmann:1994:GTA,% Zeugmann:1995:GTA,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Jain:2000:LLF,% Jain:2012:ANL,% Lange:1992:LRL,% Lange:1993:LRL,% Lange:1996:SDR,% Lange:2008:LIF,% Reischuk:1998:LOV,% Reischuk:1998:LOVb,% Rossmanith:1998:LVPb,% Tabe:1995:TVIb,% Wiehagen:1995:CRP% }. \NAMECITE{Large}{% Zeugmann:1990:CLP% }. \NAMECITE{Learn}{% Wiehagen:1994:IDM% }. \NAMECITE{Learnability}{% Lange:1993:IOI,% Lange:1993:LRLb,% Gao:2018:HBS,% MR1788537% }. \NAMECITE{Learner}{% Reischuk:2000:ACO% }. \NAMECITE{learners}{% Balbach:2005:TLR,% Balbach:2006:TMR,% Balbach:2006:TRL,% Balbach:2011:TRL% }. \NAMECITE{Learning}{% Arikawa:1994:ALT,% Arikawa:1996:ALT,% Bartlett:1998:CPA,% Case:1997:ICL,% Case:1999:ICL,% Case:2003:LSR,% Case:2006:LSR,% Erlebach:1996:ELO,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:1997:OP,% Erlebach:2001:LOV,% Freivalds:1995:CLR,% Freivalds:1996:CLR,% Fulk:1990:CPA,% Gasarch:1995:LQT,% Grieser:2000:LRC,% Gyorfi:2010:GEF,% Haussler:1992:PAA,% Jain:2000:LLF,% Jain:2001:LRF,% Jain:2016:GEF,% Jantke:1995:ALK,% Jantke:1995:ALT,% Kinber:1990:LQT,% Lange:1992:LRL,% Lange:1992:PML,% Lange:1992:TML,% Lange:1992:UAM,% Lange:1993:LLB,% Lange:1993:LRL,% Lange:1993:LRLa,% Lange:1994:CLL,% Lange:1994:SDR,% Lange:1995:MIL,% Lange:1995:RIL,% Lange:1996:ILP,% Lange:1996:LBE,% Lange:1996:LEa,% Lange:1996:LEb,% Lange:2008:LIF,% Li:1997:ALT,% Pitt:1993:PAA,% Reischuk:1997:LOV,% Reischuk:1998:AAC,% Reischuk:1998:LOV,% Reischuk:1998:LOVb,% Reischuk:1998:OP,% Reischuk:1999:AV,% Richter:1998:ALT,% Rossmanith:1998:LVPa,% Rossmanith:1998:LVPb,% Rossmanith:1998:PL,% Shawe-Taylor:1994:CLT,% Stephan:2002:LCA,% Vitanyi:1995:CLT,% Wiehagen:1994:LC,% Wiehagen:1995:LC,% Wiehagen:1995:TMI,% Zeugmann:1992:CCP,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1994:GTA,% Zeugmann:1995:GTA,% Zeugmann:1995:LWP,% Zeugmann:1997:SIA,% Zeugmann:1998:LWP,% Zeugmann:2008:LRF,% Akama:2008:CCL,% Ben-David:2007:FAL,% Bshouty:2014:GEF,% Cesa-Bianchi:2006:FAL,% Freivalds:2011:ANL,% Freivalds:2014:ALR,% Hutter:2013:GEF,% Jain:2003:LFR,% Jain:2012:ANL,% Kivinen:2014:GEI,% Kucevalovs:2014:ITL,% Lange:1992:CPM,% Lange:1993:LLD,% Lange:1993:MVN,% Lange:1996:MDM,% Lange:1996:SDR,% Reischuk:1999:AAC,% Reischuk:1999:CTA,% Sakamoto:1997:LAD,% Wiehagen:1992:TMI,% Zeugmann:1995:CMD,% Zeugmann:2003:CLL,% Zeugmann:2006:IIL,% Zeugmann:2006:LLS,% Zeugmann:2018:GEF% }. \NAMECITE{Lernen}{% Zeugmann:1993:ALF,% Zeugmann:1993:IAL% }. \NAMECITE{limit}{% Zeugmann:2003:CLL,% Zeugmann:2006:LLS% }. \NAMECITE{Linear}{% Reischuk:1997:LOV,% Reischuk:1998:OP,% Reischuk:1998:LOV,% Reischuk:1998:LOVb% }. \NAMECITE{Logic}{% Brewka:1993:NIL,% Dix:1990:NIL,% Dix:1991:NIL,% Jordan:2008:IFO% }. \NAMECITE{M{\=a}rti{{n}}{{s}}}{% Zeugmann:2016:ORM% }. \NAMECITE{Madison}{% Bartlett:1998:CPA% }. \NAMECITE{March}{% Vitanyi:1995:CLT% }. \NAMECITE{Mathematical}{% Romisch:2016:MAM,% Rovan:1990:MFC% }. \NAMECITE{Mathematics}{% Romisch:2016:MAM% }. \NAMECITE{may}{% Wiehagen:1994:IDM% }. \NAMECITE{Memorial}{% Bjorner:1996:PSI% }. \NAMECITE{memory}{% Sakamoto:1997:LAD% }. \NAMECITE{memoryless}{% Balbach:2006:TMR% }. \NAMECITE{Mind}{% Lange:1993:LLB,% Lange:1993:LRLa,% Lange:1995:TMDa,% Balbach:2005:TLR,% Lange:1992:LRL,% Lange:1993:LRL,% Lange:1995:TMD% }. \NAMECITE{Mining}{% Case:1997:ICL,% Case:1999:ICL% }. \NAMECITE{Modeling}{% Lange:1995:MIL% }. \NAMECITE{modulo}{% Zeugmann:1992:HPC% }. \NAMECITE{Monomials}{% Reischuk:1999:AV,% Reischuk:1999:CTA% }. \NAMECITE{Monotonic}{% Lange:1992:PML,% Lange:1992:TML,% Lange:1992:UAM,% Lange:1993:MVN,% Lange:1996:MDM,% Zeugmann:1992:CCP,% Lange:1992:CPM,% Zeugmann:1995:CMD% }. \NAMECITE{Monotonicity}{% Lange:1994:CLL,% Lange:1995:TMDa,% Lange:1995:TMD,% Lange:1995:TMDb% }. \NAMECITE{{Monte}}{% Kinber:1989:MCI% }. \NAMECITE{{Monte-Carlo}}{% Kinber:1989:MCI% }. \NAMECITE{Much}{% Wiehagen:1995:TMI,% Wiehagen:1992:TMI% }. \NAMECITE{Nearly}{% Zeugmann:1992:RRS% }. \NAMECITE{non}{% MR1788537,% Stephan:2002:LCA% }. \NAMECITE{non-recursive}{% MR1788537,% Stephan:2002:LCA% }. \NAMECITE{Nonboundability}{% Zeugmann:1984:NTE% }. \NAMECITE{nonconstructivity}{% Freivalds:2011:ANL,% Jain:2012:ANL% }. \NAMECITE{Nonmonotonic}{% Brewka:1993:NIL,% Dix:1990:NIL,% Dix:1991:NIL,% Lange:1993:MVN% }. \NAMECITE{normalized}{% Ito:2010:CNC% }. \NAMECITE{note}{% Jordan:2010:NTR% }. \NAMECITE{Novosibirsk}{% Bjorner:1996:PSI% }. \NAMECITE{Number}{% Lange:1993:LLB,% Lange:1993:LRLa,% Zeugmann:1992:HPC% }. \NAMECITE{Obituary}{% Zeugmann:2016:ORM% }. \NAMECITE{October}{% Arikawa:1994:ALT,% Jantke:1989:AII% }. \NAMECITE{One}{% Erlebach:1996:ELO,% Erlebach:1997:OP,% Kinber:1991:OSE,% Reischuk:1997:LOV,% Reischuk:1998:OP,% Reischuk:2000:ACO,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Jordan:2009:RPE,% Reischuk:1998:LOV,% Reischuk:1998:LOVb% }. \NAMECITE{One-Sided}{% Kinber:1991:OSE% }. \NAMECITE{One-Variable}{% Erlebach:1996:ELO,% Erlebach:1997:OP,% Reischuk:1997:LOV,% Reischuk:1998:OP,% Reischuk:2000:ACO,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Reischuk:1998:LOV,% Reischuk:1998:LOVb% }. \NAMECITE{only}{% Wiehagen:1994:IDM,% Zeugmann:1992:HPC% }. \NAMECITE{Open}{% Zeugmann:1990:IIO,% Zeugmann:1991:IIO% }. \NAMECITE{operators}{% Zeugmann:1984:NTE,% Zeugmann:1984:ROV% }. \NAMECITE{Optimal}{% Reischuk:2000:ACO,% Zeugmann:1990:IIO,% Zeugmann:1992:RRS,% Zeugmann:1991:IIO% }. \NAMECITE{Optimizers}{% Zeugmann:1988:PRO% }. \NAMECITE{Order}{% Lange:1993:IOI,% Jordan:2008:IFO,% Jordan:2010:UPE,% Jordan:2012:TUC% }. \NAMECITE{Otzenhausen}{% Richter:1998:ALT% }. \NAMECITE{Parallel}{% Erlebach:1997:OP,% Zeugmann:1990:CLP,% Zeugmann:1990:PA,% Zeugmann:1992:HPC,% Erlebach:1997:LOV,% Erlebach:2001:LOV,% Zeugmann:1989:IPC% }. \NAMECITE{Pattern}{% Erlebach:1996:ELO,% Erlebach:1997:OP,% Reischuk:1997:LOV,% Reischuk:1998:OP,% Reischuk:2000:ACO,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Zeugmann:1994:AAP,% Zeugmann:1994:ACA,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Reischuk:1998:LOV,% Reischuk:1998:LOVb,% Rossmanith:1998:LVPb% }. \NAMECITE{patterns}{% Case:2003:LSR,% Case:2006:LSR% }. \NAMECITE{Pennsylvania}{% Haussler:1992:PAA% }. \NAMECITE{Perspectives}{% Bjorner:1996:PSI% }. \NAMECITE{Pittsburgh}{% Haussler:1992:PAA% }. \NAMECITE{Polynomial}{% Zeugmann:1990:CLP,% Case:2003:LSR,% Case:2006:LSR% }. \NAMECITE{Positive}{% Erlebach:1996:ELO,% Freivalds:1995:CLR,% Freivalds:1996:CLR,% Lange:1995:MIL,% Lange:1996:ILP,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Tabe:1995:TVIa,% Jain:2012:ANL,% Lange:2008:LIF,% Rossmanith:1998:LVPb,% Tabe:1995:TVIb% }. \NAMECITE{posteriori}{% Zeugmann:1983:PCI% }. \NAMECITE{Power}{% Lange:1992:PML,% Zeugmann:1988:PRO% }. \NAMECITE{Powers}{% Zeugmann:1990:CLP% }. \NAMECITE{Predicates}{% Smith:1997:CPL,% Wiehagen:1993:CRP,% Wiehagen:1994:CPL,% Wiehagen:1995:CRP% }. \NAMECITE{Preface}{% Jain:2016:GEF,% Zeugmann:2018:GEF% }. \NAMECITE{Preserving}{% Zeugmann:1992:CCP,% Lange:1992:CPM% }. \NAMECITE{Prime}{% Zeugmann:1992:HPC% }. \NAMECITE{Probabilistic}{% Kinber:1991:OSE% }. \NAMECITE{Problems}{% Zeugmann:1990:IIO,% Zeugmann:1991:IIO% }. \NAMECITE{Proc}{% Bartlett:1998:CPA,% Fulk:1990:CPA,% Haussler:1992:PAA,% Pitt:1993:PAA% }. \NAMECITE{proceedings}{% Csirik:1989:FCT,% Dix:1991:NIL,% Enjalbert:1993:SAS,% Jantke:1987:AII,% Jantke:1989:AII,% Rovan:1990:MFC% }. \NAMECITE{processes}{% Kucevalovs:2014:ITL% }. \NAMECITE{program}{% Zeugmann:1984:ROV% }. \NAMECITE{{Programmen}}{% Zeugmann:1983:ASS% }. \NAMECITE{Programs}{% Zeugmann:1981:IIF,% Zeugmann:1982:FIF,% Zeugmann:1983:SFP,% Zeugmann:1990:IIO,% Kinber:1985:IIA,% Zeugmann:1983:FIF,% Zeugmann:1991:IIO% }. \NAMECITE{properties}{% Jordan:2009:RPE,% Jordan:2010:UPE% }. \NAMECITE{quantifier}{% Jordan:2009:RPE% }. \NAMECITE{quantifiers}{% Jordan:2010:UPE% }. \NAMECITE{Queries}{% Erlebach:1997:OP,% Gasarch:1995:LQT,% Erlebach:1997:LOV,% Erlebach:2001:LOV,% Kinber:1990:LQT% }. \NAMECITE{Query}{% Kinber:1993:RQI,% Kinber:1989:RQI% }. \NAMECITE{{R{\=u}si{{n}}{{s}}}}{% Zeugmann:2016:ORM% }. \NAMECITE{{Ramsey}}{% Jordan:2010:NTR% }. \NAMECITE{randomized}{% Balbach:2006:TMR,% Balbach:2006:TRL,% Balbach:2011:TRL% }. \NAMECITE{Rearrangement}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{Rearrangement-Independent}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{Recursive}{% Freivalds:1995:CLR,% Freivalds:1996:CLR,% Lange:1993:IOI,% Lange:1993:LRLa,% Lange:1993:LRLb,% Lange:1994:SDR,% Wiehagen:1993:CRP,% Zeugmann:1983:PCI,% Zeugmann:1984:ROV,% Zeugmann:1988:PRO,% Zeugmann:1994:GTA,% Zeugmann:1995:GTA,% Freivalds:2011:ANL,% Freivalds:2014:ALR,% Grieser:2000:LRC,% Jain:2001:LRF,% Lange:1992:LRL,% Lange:1993:LRL,% Lange:1996:SDR,% Lange:2005:IIA,% Lange:2008:LIF,% MR1788537,% Stephan:2002:LCA,% Wiehagen:1995:CRP,% Zeugmann:2008:LRF% }. \NAMECITE{Refined}{% Kinber:1989:RQI,% Kinber:1993:RQI,% Lange:1995:RIL% }. \NAMECITE{refutably}{% Jain:2001:LRF,% Jain:2003:LFR% }. \NAMECITE{regular}{% Case:2003:LSR,% Case:2006:LSR% }. \NAMECITE{{Reingold}}{% Zeugmann:1992:RRS% }. \NAMECITE{Reinhardsbrunn}{% Arikawa:1994:ALT,% Brewka:1993:NIL,% Jantke:1989:AII% }. \NAMECITE{Relational}{% Jordan:2009:RPE% }. \NAMECITE{Relations}{% Kinber:1989:MCI% }. \NAMECITE{Reliable}{% Kinber:1989:MCI,% Kinber:1991:OSE% }. \NAMECITE{reliably}{% Kinber:1985:IIA% }. \NAMECITE{Report}{% Zeugmann:1994:RC,% Jantke:1995:ALK% }. \NAMECITE{respect}{% Zeugmann:1984:ROV,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP% }. \NAMECITE{restricted}{% Balbach:2005:TLR% }. \NAMECITE{Review}{% Zeugmann:1989:RBC,% Zeugmann:1992:RRS% }. \NAMECITE{Rietz}{% Jantke:1987:AII% }. \NAMECITE{ring}{% Zeugmann:1989:IPC% }. \NAMECITE{{Rolf}}{% Case:2008:FFY% }. \NAMECITE{Russia}{% Bjorner:1996:PSI% }. \NAMECITE{Santa}{% Pitt:1993:PAA% }. \NAMECITE{schnellen}{% Zeugmann:1983:ASS% }. \NAMECITE{Science}{% Enjalbert:1993:SAS,% Meinel:1999:STACS,% Rovan:1990:MFC% }. \NAMECITE{Searching}{% Zeugmann:1992:RRS% }. \NAMECITE{Second}{% Bjorner:1996:PSI% }. \NAMECITE{Sendai}{% Li:1997:ALT% }. \NAMECITE{Set}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{Set-Driven}{% Lange:1994:SDR,% Lange:1996:SDR% }. \NAMECITE{{Shen}}{% Zeugmann:1992:RRS% }. \NAMECITE{shot}{% Gao:2018:HBS% }. \NAMECITE{Sided}{% Kinber:1991:OSE% }. \NAMECITE{size}{% Freivalds:2013:SCD% }. \NAMECITE{Small}{% Zeugmann:1992:HPC% }. \NAMECITE{Space}{% Lange:1993:LRLb,% Lange:1993:LLD% }. \NAMECITE{Spain}{% Vitanyi:1995:CLT% }. \NAMECITE{Special}{% Zeugmann:1997:SIA,% Jain:2016:GEF,% Zeugmann:2018:GEF,% Hutter:2013:GEF% }. \NAMECITE{{Sprachen}}{% Zeugmann:1993:ALF,% Zeugmann:1993:IAL% }. \NAMECITE{{STACS}}{% Enjalbert:1993:SAS% }. \NAMECITE{{STACS}'99}{% Meinel:1999:STACS% }. \NAMECITE{standardisers}{% Gao:2018:HBS% }. \NAMECITE{stochastic}{% Zeugmann:2006:LLS% }. \NAMECITE{Stochastically}{% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Rossmanith:1998:LVPb% }. \NAMECITE{strategies}{% Kinber:1985:IIA% }. \NAMECITE{subclass}{% Case:2003:LSR,% Case:2006:LSR% }. \NAMECITE{Survey}{% Zeugmann:1990:IIO,% Lange:2008:LIF,% Zeugmann:1991:IIO,% Zeugmann:2008:LRF% }. \NAMECITE{Sydney}{% Arikawa:1996:ALT% }. \NAMECITE{Symposium}{% Enjalbert:1993:SAS,% Meinel:1999:STACS% }. \NAMECITE{Synthese}{% Zeugmann:1983:ASS% }. \NAMECITE{Synthesis}{% Zeugmann:1983:SFP% }. \NAMECITE{System}{% Bjorner:1996:PSI% }. \NAMECITE{Systems}{% Jantke:1995:ALK% }. \NAMECITE{Szeged}{% Csirik:1989:FCT% }. \NAMECITE{Teaching}{% Balbach:2005:TLR,% Balbach:2006:TMR,% Balbach:2006:TRL,% Balbach:2011:TRL,% Balbach:2009:RDA% }. \NAMECITE{Teams}{% Gasarch:1995:LQT,% Kinber:1990:LQT% }. \NAMECITE{technology}{% Kucevalovs:2014:ITL% }. \NAMECITE{testability}{% Jordan:2010:NTR% }. \NAMECITE{Testable}{% Jordan:2012:TUC,% Jordan:2009:RPE% }. \NAMECITE{their}{% Lange:1992:TML% }. \NAMECITE{Theoretical}{% Enjalbert:1993:SAS,% Meinel:1999:STACS% }. \NAMECITE{Theory}{% Arikawa:1994:ALT,% Arikawa:1996:ALT,% Bartlett:1998:CPA,% Fulk:1990:CPA,% Gyorfi:2010:GEF,% Haussler:1992:PAA,% Jain:2016:GEF,% Jantke:1995:ALT,% Li:1997:ALT,% Pitt:1993:PAA,% Richter:1998:ALT,% Shawe-Taylor:1994:CLT,% Vitanyi:1995:CLT,% Zeugmann:1997:SIA,% Ben-David:2007:FAL,% Bshouty:2014:GEF,% Cesa-Bianchi:2006:FAL,% Csirik:1989:FCT,% Hutter:2013:GEF,% Kivinen:2014:GEI,% Zeugmann:2018:GEF% }. \NAMECITE{Tight}{% Reischuk:1999:AV,% Reischuk:1999:CTA% }. \NAMECITE{Time}{% Reischuk:1997:LOV,% Reischuk:1998:OP,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Case:2003:LSR,% Case:2006:LSR,% Reischuk:1998:LOV,% Reischuk:1998:LOVb% }. \NAMECITE{Too}{% Wiehagen:1992:TMI,% Wiehagen:1995:TMI% }. \NAMECITE{Total}{% Zeugmann:1995:LWP,% Zeugmann:1998:LWP,% Zeugmann:1984:NTE% }. \NAMECITE{Tour}{% Zeugmann:1994:GTA,% Zeugmann:1995:GTA% }. \NAMECITE{Trading}{% Lange:1995:TMD,% Lange:1995:TMDa,% Lange:1995:TMDb% }. \NAMECITE{Trier}{% Meinel:1999:STACS% }. \NAMECITE{Two}{% Tabe:1995:TVIa,% Tabe:1995:TVIb% }. \NAMECITE{Types}{% Lange:1992:TML% }. \NAMECITE{ultrametric}{% Freivalds:2014:ALR% }. \NAMECITE{Unbounded}{% Zeugmann:1992:RRS% }. \NAMECITE{uniform}{% MR1788537% }. \NAMECITE{Unifying}{% Lange:1992:UAM% }. \NAMECITE{universal}{% Jordan:2009:RPE% }. \NAMECITE{Untestable}{% Jordan:2010:UPE,% Jordan:2012:TUC% }. \NAMECITE{{USA}}{% Bartlett:1998:CPA,% Honavar:1998:ICGI,% Pitt:1993:PAA% }. \NAMECITE{Variable}{% Erlebach:1996:ELO,% Erlebach:1997:OP,% Reischuk:1997:LOV,% Reischuk:1998:OP,% Reischuk:2000:ACO,% Rossmanith:1998:LVPa,% Rossmanith:1998:PL,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV,% Reischuk:1998:LOV,% Reischuk:1998:LOVb,% Rossmanith:1998:LVPb% }. \NAMECITE{Variations}{% Tabe:1995:TVIa,% Tabe:1995:TVIb% }. \NAMECITE{various}{% Lange:1994:CLL% }. \NAMECITE{verifiers}{% Gao:2018:HBS% }. \NAMECITE{versus}{% Lange:1993:MVN,% Lange:1995:TMD,% Lange:1995:TMDa,% Lange:1995:TMDb,% Zeugmann:1984:ROV% }. \NAMECITE{Very}{% Erlebach:1997:OP,% Zeugmann:1990:CLP,% Erlebach:1997:LOV,% Erlebach:1997:LOVb,% Erlebach:2001:LOV% }. \NAMECITE{Via}{% Gasarch:1995:LQT,% Kinber:1990:LQT% }. \NAMECITE{virus}{% Ito:2010:CNC% }. \NAMECITE{Way}{% Wiehagen:1994:IDM% }. \NAMECITE{Wendisch}{% Jantke:1987:AII% }. \NAMECITE{Wendisch-Rietz}{% Jantke:1987:AII% }. \NAMECITE{{Wiehagen}}{% Case:2008:FFY,% Zeugmann:1995:LWP,% Zeugmann:1998:LWP% }. \NAMECITE{Wisconsin}{% Bartlett:1998:CPA% }. \NAMECITE{without}{% Balbach:2006:TMR% }. \NAMECITE{working}{% Kinber:1985:IIA% }. \NAMECITE{Workshop}{% Arikawa:1994:ALT,% Arikawa:1996:ALT,% Brewka:1993:NIL,% Dix:1990:NIL,% Fulk:1990:CPA,% Haussler:1992:PAA,% Jantke:1989:AII,% Jantke:1992:AII,% Jantke:1995:ALT,% Li:1997:ALT,% Dix:1991:NIL% }. \NAMECITE{{W}{\"u}rzburg}{% Enjalbert:1993:SAS% }. \NAMECITE{years}{% Case:2008:FFY% }. \NAMECITE{{Zur}}{% Zeugmann:1983:ASS% }.