Instantiation theory : on the foundations of automated deduction - Williams J G (Berlin Springer-Verlag, 1991)
Keywords: Deductive mathematics; Mathematical logic