Publication Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus Serge Autexier; Heiko Mantel Vol. SEKI Report SR-98-05, 1998. BibTeX Export Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus@techreport{pub1543, author = { Autexier, Serge and Mantel, Heiko }, title = {Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus}, year = {1998}, volume = {SEKI Report SR-98-05} }