S. Sathasivam and 2Wan A. T. Wan Abdullah, “Flatness of the Energy Landscape for Horn Clauses”, MATEMATIKA, vol. 23, pp. 147–156, Dec. 2007.