Yet Another Efficient Unification Algorithm
<|reference_start|>Yet Another Efficient Unification Algorithm: The unification algorithm is at the core of the logic programming paradigm, the first unification algorithm being developed by Robinson [5]. More efficient algorithms were developed later [3] and I introduce here yet another efficient unification algorithm centered on a specific data structure, called the Unification Table.<|reference_end|>
@article{suciu2006yet,
    title={Yet Another Efficient Unification Algorithm},
    author={Alin Suciu},
    journal={arXiv preprint arXiv:cs/0603080},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0603080},
    primaryClass={cs.LO cs.AI}
}