Armin Wolf. Adaptiv-inkrementelle Unifikation. In WLP. 1997.
@inproceedings{Wolf97:0,
title = {Adaptiv-inkrementelle Unifikation},
author = {Armin Wolf},
year = {1997},
researchr = {https://researchr.org/publication/Wolf97%3A0},
cites = {0},
citedby = {0},
booktitle = {WLP},
}