Skip to main content Skip to main navigation

Publication

Transformations of First-Order Formulae for Automated Reasoning

Georg Rock
em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.