Joxan Jaffar
Joxan Jaffar.
Minimal and complete word unification.
Journal of the ACM
, 37(1):47-85, January 1990.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database