Sagir Abdu Masanawa, Ibrahim Sani Doro, and Bako Deborah, “Accurate derivation and efficient implementation of higher order logic programming in Hopfield network”, JOBASR, vol. 4, no. 2, pp. 391–398, Mar. 2026, doi: 10.4314/jobasr.v4i2.40.