Matteo Magnini, Giovanni Ciatto, Andrea Omicini: Knowledge injection of Datalog rules via Neural Network Structuring with KINS. J. Log. Comput. 33(8): 1832-1850 (2023)