Explicit versus implicit representations of subsets of the Herbrand universe

@article{Pichler2003ExplicitVI,
  title={Explicit versus implicit representations of subsets of the Herbrand universe},
  author={Reinhard Pichler},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={290},
  pages={1021-1056}
}