%0 Book
%A \ Wayne Snyder
%T <A> Proof Theory for General Unification
%U /book/88379057/A-Proof-Theory-for-General-Unification/