Logic of Terms

@inproceedings{Duthie1974LogicOT,
  title={Logic of Terms},
  author={G. D. Duthie},
  year={1974}
}