Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. First-order unification using variable-free relational algebra. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 40-54, 2008. [doi]
@inproceedings{AriasLMN08,
title = {First-order unification using variable-free relational algebra},
author = {Emilio Jesús Gallego Arias and James Lipton and Julio Mariño and Pablo Nogueira},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc_3454/UNIF_proceedings.pdf#page=48},
researchr = {https://researchr.org/publication/AriasLMN08},
cites = {0},
citedby = {0},
pages = {40-54},
booktitle = {Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008},
editor = {Mircea Marin},
}