@misc{indiciae5ad9607bbf7f,
  title = {Fair and Adventurous Enumeration of Quantifier Instantiations},
  author = {Mikoláš Janota and Haniel Barbosa and Pascal Fontaine and Andrew Reynolds},
  year = {2021},
  url = {https://arxiv.org/abs/2105.13700},
  note = {Source identifier: 2105.13700}
}