IMP-Logics: a metamodel for analysis and transformations of Datalog programs. - José Francisco Crespo; Martí Juanola; Xavier Oriol; Martí Recalde; Ernest Teniente (MoDELS (Companion), 2024)