Order-Sorted Completion: The Many-Sorted Way

@article{Ganzinger1991OrderSortedCT,
  title={Order-Sorted Completion: The Many-Sorted Way},
  author={Harald Ganzinger},
  journal={Theor. Comput. Sci.},
  year={1991},
  volume={89},
  pages={3-32}
}