AProof Theory for General Uni cation, volume 11 (1991)

by Wayne Snyder
Venue:of Progress in Computer Science and Applied Logic. Birkhauser