@inproceedings{ fk:festschrift08,
  author        = "Claude Kirchner and Florent Kirchner and H\'{e}l\`{e}ne Kirchner",
  title         = "Strategic Computations and Deductions",
  booktitle     = "Reasoning in Simple Type Theory",
  publisher     = "College Publications",
  series        = "Mathematical Logic and Foundations",
  volume        = "17",
  year          = 2008,
}