Inductive learning of first-order horn clauses /
Morales, E.
Michie, D.
Turing Institute (Glasgow, Scotland)
Glasgow : Turing Institute,
1989.