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