Explicit versus implicit representations of subsets of the Herbrand universe.
scientific article; zbMATH DE number 1857107
scientific article