A proof theory for general unification /
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Boston :
Birkhäuser,
1991.
|
Series: | Progress in computer science and applied logic
v. 11. |
Subjects: |