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}
}