A modified unification procedure
β
M. K. Morokhovets
π
Article
π
1984
π
Springer US
π
English
β 378 KB