H. Lei\ss. A Semi-Unification Algorithm? - Extended Abstract. In Proc. UNIF '89, Burkert, Nutt (eds.), Lambrecht, Germany, June 1989.
[ Parametricity ]
@InProceedings{le89d,
Author = {Lei\ss, H.},
Title = {A Semi-Unification Algorithm? - Extended Abstract},
BookTitle = {Proc. UNIF '89},
editor = {Burkert, and Nutt, },
Address = {Lambrecht, Germany},
Month = {June},
Year = {1989}
}
Get EndNote Reference (.ref)