bibliographies.sty

% When adding an entry for a proof system "X" to the encyclopedia, 
% an "\addbibresource" statement with the following
% format should be added in this file : 

%   \addbibresource[label=X]{bibliographies/X.bib}

% ======================================================

\addbibresource[label=GentzenNJ]{bibliographies/GentzenNJ.bib} % 1935

\addbibresource[label=GentzenLK]{bibliographies/GentzenLK.bib} % 1935

\addbibresource[label=GentzenLJ]{bibliographies/GentzenLJ.bib} % 1935

\addbibresource[label=MultiConclusionLJ]{bibliographies/MultiConclusionLJ.bib} % 1935

\addbibresource[label=fc]{bibliographies/fc.bib} % 1935

\addbibresource[label=ExpansionProofs]{bibliographies/ExpansionProofs.bib} % 1983

\addbibresource[label=Bledsoe]{bibliographies/Bledsoe.bib} % 1984

\addbibresource[label=Muscadet]{bibliographies/Muscadet.bib} % 1984

\addbibresource[label=FILL]{bibliographies/FILL.bib} % 1991

\addbibresource[label=LambdaMu]{bibliographies/LambdaMu.bib} % 1992

\addbibresource[label=LuoLF]{bibliographies/LuoLF.bib} % 1994

\addbibresource[label=LambdaBar]{bibliographies/LambdaBar.bib} % 1992

\addbibresource[label=G3c]{bibliographies/G3c.bib} % 1996

\addbibresource[label=LKMuMuTilde]{bibliographies/LKMuMuTilde.bib} % 2000

\addbibresource[label=LKMuMuTildeTree]{bibliographies/LKMuMuTildeTree.bib} % 2005

\addbibresource[label=LabelledConditionals]{bibliographies/LabelledConditionals.bib} % 2003-2007

\addbibresource[label=KLM]{bibliographies/KLM.bib} % 2005-2009

\addbibresource[label=GBetaFB]{bibliographies/GBetaFB.bib} % 2004-2009

\addbibresource[label=ExtResLEO2]{bibliographies/ExtResLEO2.bib} % 2006-2013

\addbibresource[label=LKF]{bibliographies/LKF.bib} % 2007

\addbibresource[label=LJF]{bibliographies/LJF.bib} % 2007

\addbibresource[label=Counterfactual]{bibliographies/Counterfactual.bib} % 1983-2013

\addbibresource[label=Counterfactual2]{bibliographies/Counterfactual2.bib} % 2012-2013

\addbibresource[label=NestedConditionals]{bibliographies/NestedConditionals.bib} % 2005-2009

\addbibresource[label=ContextualND]{bibliographies/ContextualND.bib} % 2013

\addbibresource[label=IR]{bibliographies/IR.bib} % 2013

\addbibresource[label=SKMlin]{bibliographies/SKMlin.bib} % 2013