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