Peter Ruzicka, Igor Prívara. An Almost Linear Robinson Unification ALgorithm. In Michal Chytil, Ladislav Janiga, Václav Koubek, editors, Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Volume 324 of Lecture Notes in Computer Science, pages 501-511, Springer, 1988.
@inproceedings{RuzickaP88,
title = {An Almost Linear Robinson Unification ALgorithm},
author = {Peter Ruzicka and Igor Prívara},
year = {1988},
researchr = {https://researchr.org/publication/RuzickaP88},
cites = {0},
citedby = {0},
pages = {501-511},
booktitle = {Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings},
editor = {Michal Chytil and Ladislav Janiga and Václav Koubek},
volume = {324},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-50110-X},
}