Michael Lawley Kerry Raymond Implementing a practical declarative logic-based model transformation engine. 971-977 2007 conf/sac/2007 SAC https://doi.org/10.1145/1244002.1244216 https://www.wikidata.org/entity/Q56525060 db/conf/sac/sac2007.html#LawleyR07