@TECHREPORT{nonnengartMPI96skol,
        AUTHOR             = {Andreas Nonnengart},
        ADDRESS            = {Saarbr{\"u}cken, Germany},
        INSTITUTION        = {Max-Planck-Institute for Computer Science},
        MONTH              = {December},
        NUMBER             = {MPI-I-96-2-010},
        TITLE              = {Strong Skolemization},
        YEAR               = {1996}
}