Interactive theory revision : an inductive logic programming approach /
De Raedt, Luc.
London : Academic Press,
c1992.