@misc{indiciae103d60d24377,
  title = {Algebraic geometry in First Order Logic},
  author = {B. Plotkin},
  year = {2003},
  url = {https://arxiv.org/abs/math/0312485},
  note = {Source identifier: math/0312485}
}