TY  - RPRT
TI  - Probably approximately correct learning of Horn envelopes from queries
AU  - Daniel Borchmann
AU  - Tom Hanika
AU  - Sergei Obiedkov
PY  - 2018
DO  - 10.1016/j.dam.2019.02.036
UR  - https://arxiv.org/abs/1807.06149
ID  - 1807.06149
ER  -