Angus Macintyre Model theory of exponentials on Lie algebras. 189-204 2008 18 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129508006622 db/journals/mscs/mscs18.html#Macintyre08