@Inproceedings{EPTCS48.9, author = {Rochel, Jan and Grabmayer, Clemens}, year = {2011}, title = {Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)}, editor = {Echahed, Rachid}, booktitle = {{\rm Proceedings 6th International Workshop on} Computing with Terms and Graphs, {\rm Saarbr\"ucken, Germany, 2nd April 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {48}, publisher = {Open Publishing Association}, pages = {85-100}, doi = {10.4204/EPTCS.48.9}, }