author = {Alexander Baumgartner and Temur Kutsia}, title = {{Unranked Second-Order Anti-Unification}}, language = {english}, number = {14-05}, year = {2014}, month = {March}, institution = {RISC, JKU Linz}, length = {40}