Jacques Corbin, Michel Bidoit. A Rehabilitation of Robinson s Unification Algorithm. In IFIP Congress. pages 909-914, 1983.
@inproceedings{CorbinB83,
title = {A Rehabilitation of Robinson s Unification Algorithm},
author = {Jacques Corbin and Michel Bidoit},
year = {1983},
researchr = {https://researchr.org/publication/CorbinB83},
cites = {0},
citedby = {0},
pages = {909-914},
booktitle = {IFIP Congress},
}