HUSSEIN, Bilal; ABDALLAH, Firas; MEHANNA, Aref; RABIH, Yahia; KHAWANDI, Shadi. Converting Approach from Database Relational Schema into Horn Clauses Predicate Logic. International Journal of Engineering & Technology, [S. l.], v. 7, n. 4, p. 6088–6094, 2019. DOI: 10.14419/ijet.v7i4.28791. Disponível em: https://www.sciencepubco.com/index.php/ijet/article/view/28791.. Acesso em: 2 may. 2024.