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