Constructive membership predicates as index

by James Caldwell
Citations:2 - 2 self