Christoph Walther
Christoph Walther.
Many-sorted unification.
Journal of the ACM
, 35(1):1-17, January 1988.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database