%0 Conference Paper %1 conf/ilp/Frisch99 %A Frisch, Alan M. %B ILP %D 1999 %K ilp frisch new %P 104-115 %T Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. %U http://www.cs.york.ac.uk/isg/papers/alan.frisch/ilp99.ps.gz

@inproceedings{conf/ilp/Frisch99, added-at = {2007-01-14T22:32:23.000+0100}, author = {Frisch, Alan M.}, biburl = {https://www.bibsonomy.org/bibtex/2fd76fc90c77d07573e1ccd0a3c20dbef/sebastian}, booktitle = {ILP}, ee = {http://link.springer.de/link/service/series/0558/bibs/1634/16340104.htm}, interhash = {0e393adf70abb942596f06bb64745cf6}, intrahash = {fd76fc90c77d07573e1ccd0a3c20dbef}, keywords = {ilp frisch new}, pages = {104-115}, timestamp = {2007-01-14T22:32:23.000+0100}, title = {Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.}, url = {http://www.cs.york.ac.uk/isg/papers/alan.frisch/ilp99.ps.gz}, year = 1999 }