@article{johansson1937minimal,
	title={Der {M}inimalkalk{\"u}l, ein reduzierter intuitionistischer {F}ormalismus},
	author={Johansson, Ingebrigt},
	journal={Compositio mathematica},
	volume={4},
	pages={119--136},
	year={1937}
}

@book{troelstra2000basic,
	title={Basic proof theory},
	author={Troelstra, Anne Sjerp and Schwichtenberg, Helmut},
	series={Cambridge Tracts in Theoretical Computer Science},
	number={43},
	year={2000},
	publisher={Cambridge University Press}
}

@article{gentzen1935untersuchungen,
	title={Untersuchungen {\"u}ber das logische {S}chlie{\ss}en. {I}},
	author={Gentzen, Gerhard},
	journal={Mathematische zeitschrift},
	volume={39},
	number={1},
	pages={176--210},
	year={1935},
	publisher={Springer}
}

@book{gallier2015logic,
	title={Logic for computer science: foundations of automatic theorem proving},
	author={Gallier, Jean H},
	year={2015},
	publisher={Courier Dover Publications}
}

@article{craig1957linear,
	title={{L}inear reasoning. {A} new form of the {Herbrand-Gentzen} theorem},
	author={Craig, William},
	journal={The Journal of Symbolic Logic},
	volume={22},
	number={03},
	pages={250--268},
	year={1957},
	publisher={Cambridge Univ Press}
}

@book{harrison2009handbook,
	title={Handbook of practical logic and automated reasoning},
	author={Harrison, John},
	year={2009},
	publisher={Cambridge University Press}
}

@book{schoening1987logik,
	title={Logik f{\"u}r {I}nformatiker},
	author={Sch{\"o}ning, Uwe},
	year={1987},
	publisher={BI Wissenschaftsverlag Mannheim}
}

@book{huth2004logic,
	title={Logic in {C}omputer {S}cience: {M}odelling and reasoning about systems},
	author={Huth, Michael and Ryan, Mark},
	year={2004},
	publisher={Cambridge university press}
}

@incollection{hilbert1928grundlagen,
	title={Die {G}rundlagen der {M}athematik},
	author={Hilbert, David},
	booktitle={Die Grundlagen der Mathematik},
	pages={1--21},
	year={1928},
	publisher={Springer}
}

@book{fitting1990first,
	title={{F}irst-{O}rder {L}ogic and {A}utomated {T}heorem {P}roving},
	author={Fitting, Melvin},
	publisher={Springer},
	year={1990},
	series={Graduate Texts in Computer Science},
	isbn={0-387-97233-1},
}

@article{smullyan1963unifying,
	title={A unifying principal in quantification theory},
	author={Smullyan, Raymond M},
	journal={Proceedings of the National Academy of Sciences},
	volume={49},
	number={6},
	pages={828--832},
	year={1963},
	publisher={National Acad Sciences}
}

