@techreport{RISC3395,
author = {Flavia Stan},
title = {{Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals}},
language = {english},
number = {2008-3},
year = {2008},
month = {January},
institution = {SFB F13},
length = {8}
}