On Skolemization in constructive theories

DSpace/Manakin Repository