@Misc{            cate2023craig,
  Author        = "ten Cate, Balder and Comer, Jesse",
  ArchivePrefix = "arXiv",
  date-added    = "2023-10-16 09:52:18 +0200",
  date-modified = "2023-10-16 09:52:18 +0200",
  EPrint        = "2310.08689",
  PrimaryClass  = "cs.LO",
  Title         = "Craig Interpolation for Decidable First-Order Fragments",
  Year          = "2023",
  File          = "Craig Interpolation for Decidable First-Order Fragments - 2310.08689.pdf"
}

@Misc{ cate2023craig, Author = "ten Cate, Balder and Comer, Jesse", ArchivePrefix = "arXiv", date-added = "2023-10-16 09:52:18 +0200", date-modified = "2023-10-16 09:52:18 +0200", EPrint = "2310.08689", PrimaryClass = "cs.LO", Title = "Craig Interpolation for Decidable First-Order Fragments", Year = "2023", File = "Craig Interpolation for Decidable First-Order Fragments - 2310.08689.pdf" }