@InProceedings{   BlatterSpecker:1981,
  Author        = "Blatter, Chr. and Specker, Ernst",
  BookTitle     = "Sciences Mathamatiques",
  date-added    = "2023-08-26 10:17:27 +0200",
  date-modified = "2023-08-26 10:20:26 +0200",
  Pages         = "41--44",
  Title         = "Le nombre de structures finies d'une th{\'e}orie {\`a} caract{\`e}re fini",
  Year          = "1981"
}

@InProceedings{ BlatterSpecker:1981, Author = "Blatter, Chr. and Specker, Ernst", BookTitle = "Sciences Mathamatiques", date-added = "2023-08-26 10:17:27 +0200", date-modified = "2023-08-26 10:20:26 +0200", Pages = "41--44", Title = "Le nombre de structures finies d'une th{\'e}orie {`a} caract{`e}re fini", Year = "1981" }