A Rehabilitation of Robinson's Unification Algorithm

@inproceedings{Corbin1983ARO,
  title={A Rehabilitation of Robinson's Unification Algorithm},
  author={Jacques Corbin and Michel Bidoit},
  booktitle={IFIP Congress},
  year={1983}
}

From This Paper

Topics from this paper.
50 Citations
0 References
Similar Papers