A proof theory for general unification by Snyder, Wayne fromProgress in computer science and applied logic 0 Type: Book
