@BOOK{
AUTHOR = {Martin Schmidt},
editor = {K\"uhnberger, K.-U. and K\"onig, P. and Walter, S.},
TITLE = {Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection},
PUBLISHER = {Institute of Cognitive Science},
YEAR = {2010},
volume = {31-2010},
series = {Publications of the Institute of Cognitive Science},
address = {Osnabr\"uck},
isbn = {1610-5389},
}