A Proof Theory for General Unification
by
W. Snyder
Hardcover
details (
USA
).
ISBN: 978-0-8176-3593-0
ISBN-10: 0-8176-3593-9
Birkhäuser
· 1991