author = {Alexander Baumgartner},}
title = {{Anti-Unification Algorithms: Design, Analysis, and Implementation}},
language = {english},
year = {2015},
month = {September},
translation = {0},
school = {RISC, JKU Linz},
length = {169},
type = {phdthesis}