Probably approximately correct learning of Horn envelopes from queries | Read Paper on Bytez