TY  - RPRT
TI  - Model companions of theories with an automorphism
AU  - Hirotaka Kikyo
PY  - 1998
UR  - https://arxiv.org/abs/math/9809191
ID  - math/9809191
ER  -