First-Order Atom Definitions Extended. - Bijan Afshordel; Thomas Hillenbrand; Christoph Weidenbach (LPAR, 2001)

Generic Automorphisms with prescribed Fixed Fields. - Bijan Afshordel (J. Symb. Log., 2014)