@ARTICLE{PrevostoJAR02,
  AUTHOR = {Virgile Prevosto and Damien Doligez},
  TITLE = {Algorithms and Proof Inheritance in the FoC language},
  JOURNAL = {Journal of Automated Reasoning},
  YEAR = 2002,
  VOLUME = 29,
  NUMBER = {3-4},
  PAGES = {337-363},
  MONTH = DEC
}