@inproceedings{Katayama05Systematic,
title = {Systematic search for lambda expressions},
author = {Susumu Katayama},
booktitle = {Trends in Functional Programming},
crossref = {DBLP:conf/sfp/2005},
pages = {111-126},
year = {2005},
timestamp = {2008.04.08}, bibsource = {DBLP, http://dblp.uni-trier.de}, owner = {martin},
keywords = {imported }
}
::