Hussein, Bilal, et al. “Converting Approach from Database Relational Schema into Horn Clauses Predicate Logic”. International Journal of Engineering & Technology, vol. 7, no. 4, May 2019, pp. 6088-94, https://doi.org/10.14419/ijet.v7i4.28791.