@InProceedings{   Fischer2011ApplicationOL,
  Author        = "Fischer, Eldar and Kotek, Tomer and Makowsky, Johann A.",
  date-added    = "2020-05-07 09:36:51 +0200",
  date-modified = "2020-05-07 09:36:51 +0200",
  Title         = "Application of logic to combinatorial sequences and their recurrence relations",
  Year          = "2011",
  File          = "Application of Logic to Combinatorial Sequences and Their Recurrence Relations - 01\_FischerKM-new - a - e.pdf"
}

@InProceedings{ Fischer2011ApplicationOL, Author = "Fischer, Eldar and Kotek, Tomer and Makowsky, Johann A.", date-added = "2020-05-07 09:36:51 +0200", date-modified = "2020-05-07 09:36:51 +0200", Title = "Application of logic to combinatorial sequences and their recurrence relations", Year = "2011", File = "Application of Logic to Combinatorial Sequences and Their Recurrence Relations - 01_FischerKM-new - a - e.pdf" }