Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems

@inproceedings{Baader1991UnificationWU,
  title={Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems},
  author={Franz Baader},
  booktitle={RTA},
  year={1991}
}