Gargantubrain: An heuristic algorithm for learning non-recursive Horn clauses from positive and negative examples (1988)

by P C Brebner