Instantiation theory on the foundations of automated deduction - Williams, James G. (Springer, 1991)
Keywords: Automatic theorem proving; Programm; Formale Sprache; Deduktionssystem; Automatisches Beweisverfahren; Instantiierung; Deduktion