Model Representation over Finite and Infinite Signatures

@article{Fermller2006ModelRO,
  title={Model Representation over Finite and Infinite Signatures},
  author={Christian G. Ferm{\"u}ller and Reinhard Pichler},
  journal={J. Log. Comput.},
  year={2006},
  volume={17},
  pages={453-477}
}