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