@workingPaper{HocheSiekmannSzabo_2008,
title={String unification is essentially infinitary},
author={Hoche, Michael and Siekmann, Jörg and Szabo, Peter},
doi={http://dx.doi.org/10.22028/D291-25201},
year={2008}
}