“Flatness of the Energy Landscape for Horn Clauses”. MATEMATIKA, vol. 23, Dec. 2007, pp. 147-56, https://doi.org/10.11113/matematika.v23.n.529.