José Francisco Crespo Martí Juanola Xavier Oriol Martí Recalde Ernest Teniente IMP-Logics: a metamodel for analysis and transformations of Datalog programs. 51-55 2024 MoDELS (Companion) https://doi.org/10.1145/3652620.3687790 https://www.wikidata.org/entity/Q130844051 conf/models/2024c db/conf/models/models2024c.html#CrespoJORT24