@inproceedings{bardou11jfla,
  author = {Bardou, Romain and March\'e, Claude},
  title = {Perle de preuve: les tableaux creux},
  topics = {team},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla11}
}

@proceedings{jfla11,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2011,
  booktitle = {Vingt-deuxi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {La Bresse, France},
  publisher = {INRIA},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes}
}