A Proof Theory for General Unification, volume 11 (1991)

by Wayne Snyder
Venue:of Progress in Computer Science and Applied Logic. Birkhäuser