Flatness of the Energy Landscape for Horn Clauses. MATEMATIKA, v. 23, p. 147–156, 1 Dec.2007.