%0
Book
%T
Instantiation theory
on the foundations of automated deduction
%A Williams, James G.
%I Springer
%@ 3540543333
%@ 0387543333
%K Automatic theorem proving
%K Unification theory (Logic)
%K Instantiierung
%D 1991
%X Literaturverz. S. [128] - 133
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2