Fritz Henglein. A Fast Algorithm for Computing Uniform Semi-Unifiers. SETL Newsletter New York University, No 231, October 1988.
@TechReport{he88f,
Author = {Henglein, Fritz},
Title = {A Fast Algorithm for Computing Uniform Semi-Unifiers},
Number = {231},
Institution = {New York University},
Month = {October},
Year = {1988}
}
Get EndNote Reference (.ref)