The Horn Basis of a Set of Clauses. - Jean-Jacques Hébrard; Philippe Luquet (J. Log. Program., 1998)