%0
Book
%T
mj-reduction for proving in predicate logic
extended abstract
%A Readi-Nasser, Rodrigo
%I Fachbereich Informatik, Univ.
%K Bericht
%K Forschungsbericht
%D 1997
%X Literaturverz. S. 5
%C Fachbereich Informatik, Univ.
%C Kaiserslautern
%U http://slubdd.de/katalog?TN_libero_mab2