@misc{indiciaef2def60f9b50,
  title = {Efficient enumeration of solutions produced by closure operations},
  author = {Arnaud Mary and Yann Strozecki},
  year = {2019},
  doi = {10.23638/dmtcs-21-3-22},
  url = {https://arxiv.org/abs/1712.03714},
  note = {Source identifier: 1712.03714}
}