%A Jean H. Gallier
%T Logic for computer science: foundations of automatic theorem proving
%I Harper & Row
%C New York
%D 1986
%P 511