@unknown(BraunerHK07,
 author       = "Paul Brauner and Cl{\'{e}}ment Houtmann and Claude Kirchner",
 year         = "2007",
 title        = "Principles of Superdeduction",
 booktitle    = "LICS",
 pages        = "41--50",
)
@unknown(CerritoK04,
 author       = "Serenella Cerrito and Delia Kesner",
 year         = "2004",
 title        = "Pattern matching as cut elimination",
 journal      = "Theor. Comput. Sci.",
 volume       = "323",
 number       = "1-3",
 pages        = "71--127",
)
@unknown(rhoCalIGLP-I+II-2001,
 author       = "Horatiu Cirstea and Claude Kirchner",
 year         = "2001",
 title        = "The rewriting calculus {--}- Part I and II",
 journal      = "Logic Journal of the Interest Group in Pure and Applied Logics",
 volume       = "9",
 number       = "3",
 pages        = "427--498",
)
@unknown(CurienH00,
 author       = "Pierre-Louis Curien and Hugo Herbelin",
 year         = "2000",
 title        = "The duality of computation",
 booktitle    = "ICFP",
 pages        = "233--243",
)
@unknown(CurienM10,
 author       = "Pierre-Louis Curien and Guillaume Munch-Maccagnoni",
 year         = "2010",
 title        = "The duality of computation under focus",
 booktitle    = "IFIP TCS",
 note         = "Accepted",
)
@unknown(TPM-DHK-JAR-03,
 author       = "Gilles Dowek and Th{\'{e}}r{\`{e}}se Hardin and Claude Kirchner",
 year         = "2003",
 title        = "Theorem Proving Modulo",
 journal      = "Journal of Automated Reasoning",
 volume       = "31",
 number       = "1",
 pages        = "33--72",
)
@unknown(Houtmann08,
 author       = "Cl{\'e}ment Houtmann",
 year         = "2008",
 title        = "Axiom Directed Focusing",
 booktitle    = "TYPES",
 pages        = "169--185",
)
@unknown(TheseClement,
 author       = "Cl{\'{e}}ment Houtmann",
 year         = "2010",
 title        = "Repr{\'{e}}sentation et interaction des preuves en superd{\'{e}}duction modulo",
 type         = "Ph.D. thesis",
 school       = "Universit{\'{e}} Henri Poincar{\'{e}}, Nancy Universit\IeC {\'e}s",
)
@unknown(LiangM07,
 author       = "Chuck Liang and Dale Miller",
 year         = "2007",
 title        = "Focusing and Polarization in Intuitionistic Logic",
 booktitle    = "CSL",
 pages        = "451--465",
)
@unknown(LiangM09,
 author       = "Chuck Liang and Dale Miller",
 year         = "2009",
 title        = "A Unified Sequent Calculus for Focused Proofs",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "355--364",
)
@unknown(Munch-Maccagnoni09,
 author       = "Guillaume Munch-Maccagnoni",
 year         = "2009",
 title        = "Focalisation and Classical Realisability",
 booktitle    = "CSL",
 pages        = "409--423",
)
@unknown(Polonovski04,
 author       = "Emmanuel Polonowski",
 year         = "2004",
 title        = "Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions",
 booktitle    = "FoSSaCS",
 pages        = "423--437",
)
@unknown(UrbanThese2000,
 author       = "Christian Urban",
 year         = "2000",
 title        = "Classical Logic and Computation",
 type         = "Ph.D. thesis",
 school       = "University of Cambridge",
)
@unknown(WackThese05,
 author       = "Benjamin Wack",
 year         = "2005",
 title        = "Typage et d{\'{e}}duction dans le calcul de r{\'{e}}{\'{e}}criture",
 type         = "Ph.D. thesis",
 school       = "Universit{\'{e}} Henri Poincar{\'{e}}, Nancy 1",
)
@unknown(Zeilberger08,
 author       = "Noam Zeilberger",
 year         = "2008",
 title        = "Focusing and higher-order abstract syntax",
 booktitle    = "POPL",
 pages        = "359--369",
)