Transformations of First-Order Formulae for Automated Reasoning

@misc{pub1613,
    author = {

Rock, Georg
},
    title = {Transformations of First-Order Formulae for Automated Reasoning},
    year = {1995},
    month = {4},
    publisher = {em Masters Thesis. Max-Planck-Institut für Informatik, Germany}
}