Hans Jürgen Ohlbach. Compilation of Recursive Two-Literal Clauses into Unification Algorithms. In AIMSA. pages 13-22, 1990.
@inproceedings{Ohlbach90:0, title = {Compilation of Recursive Two-Literal Clauses into Unification Algorithms}, author = {Hans Jürgen Ohlbach}, year = {1990}, researchr = {https://researchr.org/publication/Ohlbach90%3A0}, cites = {0}, citedby = {0}, pages = {13-22}, booktitle = {AIMSA}, }