Flatness of the Energy Landscape for Horn Clauses. (2007). MATEMATIKA, 23, 147-156. https://doi.org/10.11113/matematika.v23.n.529