On Skolemization in constrained logics
scientific article; zbMATH DE number 1123682
scientific article