@misc{indiciae25ad011e519f,
  title = {Probably approximately correct learning of Horn envelopes from queries},
  author = {Daniel Borchmann and Tom Hanika and Sergei Obiedkov},
  year = {2018},
  doi = {10.1016/j.dam.2019.02.036},
  url = {https://arxiv.org/abs/1807.06149},
  note = {Source identifier: 1807.06149}
}