@techreport{WideraBeierle99_InfBericht248,
author = {M. Widera and C. Beierle},            
title = {Local normalization of functional programs},
institution = {FernUniversit\"{a}t Hagen},
year = 1999,
month = jan,
type = {Informatik Berichte},
number = 248}