@TechReport{ autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998, address = {Germany}, author = {Serge Autexier and Heiko Mantel}, institution = {University of Saarbr\"ucken}, number = {SR-98-05}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1998/1998tr_seki.pdf}, ps = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1998/1998tr_seki.ps.zip}, title = {{Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus}}, year = 1998 }