B. Hussein, F. Abdallah, A. Mehanna, Y. Rabih, and S. Khawandi, “Converting Approach from Database Relational Schema into Horn Clauses Predicate Logic”, IJET, vol. 7, no. 4, pp. 6088–6094, May 2019, doi: 10.14419/ijet.v7i4.28791.