@misc{indiciaef64aad3e6cfc,
  title = {A generalization of Goodstein's theorem: interpolation by polynomial functions of distributive lattices},
  author = {Miguel Couceiro and Tamás Waldhauser},
  year = {2011},
  url = {https://arxiv.org/abs/1110.0321},
  note = {Source identifier: 1110.0321}
}