Specialisation of a Unification Algorithm

@inproceedings{Waal1991SpecialisationOA,
  title={Specialisation of a Unification Algorithm},
  author={D. Andre de Waal and John P. Gallagher},
  booktitle={LOPSTR},
  year={1991}
}

From This Paper

Topics from this paper.
18 Citations
0 References
Similar Papers