Sathasivam, Saratha, and 2Wan Ahmad Tajuddin Wan Abdullah. “Flatness of the Energy Landscape for Horn Clauses”. MATEMATIKA, vol. 23, Dec. 2007, pp. 147-56, doi:10.11113/matematika.v23.n.529.