@misc{indiciae80c0f49ac38f,
  title = {Model companion of ordered theories with an automorphism},
  author = {Michael C. Laskowski and Koushik Pal},
  year = {2013},
  url = {https://arxiv.org/abs/1305.7501},
  note = {Source identifier: 1305.7501}
}