Algebraic Theories with Definable Skolem Functions

@article{Dries1984AlgebraicTW,
  title={Algebraic Theories with Definable Skolem Functions},
  author={Lou van den Dries},
  journal={J. Symb. Log.},
  year={1984},
  volume={49},
  pages={625-629}
}