T. L. Anita, R. G. Freedy, N. Silawati, and M. Sunengsih, “Mathematical Logic as a Foundation for AI-Driven Decision-Making Systems”, SHEM, vol. 2, no. 1, pp. 14–25, Apr. 2026, doi: 10.68012/shem.v2i1.50.