Constructive membership predicates as index types (0)

by James Caldwell, Josef Pohl
Venue:Electr. Notes Theor. Comput. Sci