Evaluating Negative Tests and Refutations in a Rule Discovery Task · Study