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}