@workingPaper{Fischer_1994,
title={PAntUDE - an anti-unification algorithm for expressing refined generalizations},
author={Fischer, Cornelia},
doi={http://dx.doi.org/10.22028/D291-25053},
year={1994}
}