@workingPaper{BürckertHollunderLaux_1993,
title={On skolemization in constrained logics},
author={Bürckert, Hans-Jürgen and Hollunder, Bernhard and Laux, Armin},
doi={http://dx.doi.org/10.22028/D291-25212},
year={1993}
}