https://123dok.net/document/8ydg026y-automatic-and-interactive-rule-inference-without-ground-truth.html