@Article{         Ehrenfeucht:NAMS:1959,
  Author        = "Ehrenfeucht, Andrzej",
  date-added    = "2021-08-12 14:50:32 +0200",
  date-modified = "2021-08-12 14:50:32 +0200",
  Journal       = "Notices Amer. Math. Soc.",
  Pages         = "268",
  Title         = "Decidability of the theory of one function",
  Volume        = "6",
  Year          = "1959"
}

@Article{ Ehrenfeucht:NAMS:1959, Author = "Ehrenfeucht, Andrzej", date-added = "2021-08-12 14:50:32 +0200", date-modified = "2021-08-12 14:50:32 +0200", Journal = "Notices Amer. Math. Soc.", Pages = "268", Title = "Decidability of the theory of one function", Volume = "6", Year = "1959" }