@inproceedings(accattoli:LIPIcs:2013:4051,
 author       = {Beniamino Accattoli},
 year         = {2013},
 title        = {Linear {{Logic}} and {{Strong Normalization}}},
 editor       = {{van Raamsdonk}, Femke},
 booktitle    = {24th {{International Conference}} on {{Rewriting Techniques}} and {{Applications}} ({{RTA}} 2013)},
 series       = {LIPIcs},
 volume       = {21},
 publisher    = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}},
 address      = {Dagstuhl, Germany},
 pages        = {39--54},
 doi          = {10.4230/LIPIcs.RTA.2013.39},
)
@incollection(accattoli_structural_2010,
 author       = {Beniamino Accattoli and Delia Kesner},
 year         = {2010},
 title        = {The {{Structural}} \ensuremath{\lambda}-{{Calculus}}},
 editor       = {Anuj Dawar and Helmut Veith},
 booktitle    = {Computer {{Science Logic}}},
 series       = {LNCS},
 volume       = {6247},
 publisher    = {{Springer Berlin Heidelberg}},
 pages        = {381--395},
 doi          = {10.1007/978-3-642-15205-4\_30},
)
@unpublished(DR:HeadLinRed:04,
 author       = {Vincent Danos and Laurent Regnier},
 year         = {2004},
 title        = {Head Linear Reduction},
 note         = {Http://iml.univ-mrs.fr/~regnier/articles/pam.ps.gz},
)
@incollection(Gan:ProofsSN:80,
 author       = {R. O. Gandy},
 year         = {1980},
 title        = {Proofs of strong normalisation},
 editor       = {J. P. Seldin and J. R. Hindley},
 booktitle    = {To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism},
 publisher    = {Academic Press},
 pages        = {457--477},
)
@unpublished(GP:DissPAM:16,
 author       = {Stefano Guerrini and Giulio Pellitta},
 year         = {2016},
 title        = {Dissecting the PAM},
 note         = {Submitted},
)
@unpublished(Miq:CombProof,
 author       = {Alexandre Miquel},
 title        = {A combinatorial proof of strong normalisation for the simply typed -calculus},
 note         = {Unpublished draft},
)
@incollection(pedrot_classical_2016,
 author       = {Pierre-Marie P{\'e}drot and Alexis Saurin},
 year         = {2016},
 title        = {Classical {{By-Need}}},
 editor       = {Peter Thiemann},
 booktitle    = {Programming {{Languages}} and {{Systems}}. 25th European Symposium on Programming, ESOP 2016},
 series       = {LNCS},
 volume       = {9632},
 publisher    = {Springer},
 pages        = {616--643},
 doi          = {10.1007/978-3-662-49498-1\_24},
)
@article(Reg:EquivLamTermes:94,
 author       = {Laurent Regnier},
 year         = {1994},
 title        = {Une {\'e}quivalence sur les lambda-termes},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {281--292},
 doi          = {10.1016/0304-3975(94)90012-4},
)