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