On Skolemization in constrained logics - Bürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin (1993)