Towards constructive induction in first-order predicate calculus /
Muggleton, Stephen.
Buntine, W.
Turing Institute (Glasgow, Scotland)
Glasgow : Turing Institute,
1988.
Includes bibliography.
Predicate calculus.