@unknown(AbCaCuLe1990,
 author       = "M.~Abadi and L.~Cardelli and P.-L. Curien and J.-J. L\'{e}vy",
 year         = "1991",
 title        = "Explicit Substitutions",
 journal      = "J. Funct. Prog.",
 volume       = "1",
 pages        = "31--46",
)
@unknown(LeRo1995,
 author       = "Z.~Benaissa and D.~Briaud and P.~Lescanne and J.~Rouyer-Degli",
 year         = "1996",
 title        = "$\lambda \upsilon $, a Calculus of Explicit Substitutions which Preserves Strong Normalisation",
 journal      = "J. Funct. Prog.",
 volume       = "6(5)",
 pages        = "699--722",
)
@unknown(BlGe1997,
 author       = "R.~Bloo and H.~Geuvers",
 year         = "1999",
 title        = "Explicit substitution on the edge of strong normalization",
 journal      = "Theor. Comput. Sci.",
 volume       = "211",
 number       = "1-2",
 pages        = "375--395",
)
@unknown(BlRo1995,
 author       = "R.~Bloo and K.~H. Rose",
 year         = "1995",
 title        = "Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection",
 booktitle    = "CSN-95: Computing Science in the Netherlands",
 pages        = "62--72",
)
@unknown(Br1972,
 author       = "N.~G. de~Bruijn",
 year         = "1972",
 title        = "Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem",
 journal      = "Indagationes Mathematicae",
 volume       = "34",
 pages        = "381--392",
)
@unknown(Br1978,
 author       = "N.~G. de~Bruijn",
 year         = "1978",
 title        = "A namefree $\lambda $ calculus with facilities for internal definition of expressions and segments",
 journal      = "Tech. Rep. TH-Report 78-WSK-03, Dept. of Mathematics, Technical University of Eindhoven",
)
@unknown(CuHaLe1996,
 author       = "P.-L. Curien and Th. Hardin and J.-J. L\'{e}vy",
 year         = "1996",
 title        = "Confluence properties of weak and strong calculi of explicit substitutions",
 journal      = "Journal of the ACM",
 volume       = "43",
 number       = "2",
 pages        = "362--397",
)
@unknown(DoHaKi2000,
 author       = "G.~Dowek and Th. Hardin and C.~Kirchner",
 year         = "2000",
 title        = "Higher order unification via explicit substitutions",
 journal      = "Inf. Comput.",
 volume       = "157",
 number       = "1-2",
 pages        = "183--235",
)
@unknown(FeGa2007,
 author       = "M.~Fern\'{a}ndez and M.~J. Gabbay",
 year         = "2007",
 title        = "Nominal rewriting",
 journal      = "Inf. Comput.",
 volume       = "205",
 number       = "6",
 pages        = "917--965",
)
@unknown(GaPi2002,
 author       = "M.~J. Gabbay and A.~M. Pitts",
 year         = "2002",
 title        = "A new approach to abstract syntax with variable binding",
 journal      = "Formal Aspects of Computing",
 volume       = "13",
 pages        = "341--363",
)
@unknown(KaRi1995,
 author       = "F.~Kamareddine and A.~R\'{i}os",
 year         = "1995",
 title        = "A Lambda-Calculus \`{a} la de Bruijn with Explicit Substitutions",
 booktitle    = "PLILP '95: Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs, Lecture Notes in Computer Science 982",
 pages        = "45--62",
)
@unknown(KaRi1997,
 author       = "F.~Kamareddine and A.~R\'{i}os",
 year         = "1997",
 title        = "Extending a {$\lambda $}-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms",
 journal      = "J. Funct. Prog.",
 volume       = "7",
 number       = "4",
 pages        = "395--420",
)
@unknown(KaRi1998,
 author       = "F.~Kamareddine and A.~R\'{i}os",
 year         = "1998",
 title        = "Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi",
 journal      = "Logic Journal of the IGPL",
 volume       = "6",
 number       = "6",
 pages        = "843--874",
)
@unknown(Ke2008,
 author       = "D.~Kesner",
 year         = "2008",
 title        = "Perpetuality for Full and Safe Composition (in a Constructive Setting)",
 booktitle    = "ICALP '08: Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "311--322",
)
@unknown(Ke2009,
 author       = "D.~Kesner",
 year         = "2009",
 title        = "A Theory of Explicit Substitutions with Safe and Full Composition",
 journal      = "Logical Methods in Computer Science",
 volume       = "5",
 number       = "3:1",
 pages        = "1--29",
)
@unknown(Le1994,
 author       = "P.~Lescanne",
 year         = "1994",
 title        = "From {$\lambda \sigma $} to {$\lambda \upsilon $}: a journey through calculi of explicit substitutions",
 booktitle    = "POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on principles of programming languages",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "60--69",
)
@unknown(Me1995,
 author       = "P.-A. Melli\`{e}s",
 year         = "1995",
 title        = "Typed lambda-calculi with explicit substitutions may not terminate",
 booktitle    = "TLCA '95: Proceedings of the Second International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science 902",
 pages        = "328--334",
)
@unknown(Me2010,
 author       = "A.~Mendelzon",
 year         = "2010",
 title        = "Una curiosa versi\'{o}n de $\lambda _{\textrm {dB}}$ basada en ``swappings'': aplicaci\'{o}n a traducciones entre c\'{a}lculos de sustituciones expl\'{i}citas con nombres e \'{i}ndices",
 howpublished = "Master's thesis, FCEyN, Univ. de Buenos Aires",
 url          = "http://publi.dc.uba.ar/publication/pdffile/128/tesis_amendelzon.pdf",
)
@unknown(Ri1993,
 author       = "A.~R\'{i}os",
 year         = "1993",
 title        = "Contributions \`{a} l'\'{e}tude des Lambda-calculus avec Substitutions Explicites",
 type         = "Ph.D. thesis",
 school       = "Universit\'{e} Paris 7",
)
@unknown(RoBlLa20009,
 author       = "K.~H. Rose and R.~Bloo and F.~Lang",
 year         = "2009",
 title        = "On explicit substitution with names",
 type         = "Technical Report",
 institution  = "IBM",
 url          = "http://domino.research.ibm.com/library/cyberdig.nsf/papers/39D13836281BDD328525767F0056CE65",
)