@misc{indiciae93fbf9a22945,
  title = {Computing Integer Sequences: Filtering vs Generation (Functional Pearl)},
  author = {Ivano Salvo and Agnese Pacifico},
  year = {2018},
  url = {https://arxiv.org/abs/1807.11792},
  note = {Source identifier: 1807.11792}
}