Hussein, B.; Abdallah, F.; Mehanna, A.; Rabih, Y.; Khawandi, S. Converting Approach from Database Relational Schema into Horn Clauses Predicate Logic. IJET 2019, 7 (4), 6088-6094. https://doi.org/10.14419/ijet.v7i4.28791.