A proof theory for general unification - Snyder, Wayne, 1955- (Birkhäuser, 1991)