@unpublished{Melis1999, author = {Erica Melis}, title = {When to Prove Theorems by Analogy?}, institution = {Fachbereich Informatik}, series = {SEKI Report}, number = {96,3}, year = {1999}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-3602}, }