@proceedings{Zhang.Guesgen.ea04PRICAI,
        title = {PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International
	Conference on Artificial Intelligence, Auckland, New Zealand, August
	9-13, 2004, Proceedings},
        booktitle = {PRICAI},
        editor = {Chengqi Zhang and Hans W. Guesgen and Wai-Kiang Yeap},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 3157,
        year = 2004,
        timestamp = {2008.04.08},
	bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {3-540-22817-9},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2c3aab03c1fb8dcf144d4dd4f139fcbb0/mh},
	keywords = {imported}
}

@proceedings{Eekelen07Revised,
        title = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
	Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005},
        booktitle = {Trends in Functional Programming},
        editor = {Marko C. J. D. van Eekelen},
        publisher = {Intellect},
        series = {Trends in Functional Programming},
        volume = 6,
        year = 2007,
        timestamp = {2008.04.08},
	bibsource = {DBLP, http://dblp.uni-trier.de},
	isbn = {978-1-84150-176-5},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/24899b3777fc5d0cd0102069a52e7e29e/mh},
	keywords = {imported}
}

@manual{Vattekar06ADATE,
        title = {ADATE User Manual},
        author = {Geir Vattekar},
        month = {March},
        year = 2006,
        timestamp = {2007.12.19},
	organisation = {\O stfold University College},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2281f0d4cd4df96d52006e1ec85878b7e/mh},
	keywords = {imported}
}

@book{Terese03Term,
        title = {Term Rewriting Systems},
        author = { Terese},
        publisher = {Cambridge University Press},
        series = {Cambridge Tracts in Theoretical Computer Science},
        volume = 55,
        year = 2003,
        biburl = {http://www.bibsonomy.org/bibtex/27ac85ebfe08e4bce53c40feecb1a7350/mh},
	keywords = {imported}
}

@article{Summers77methodology,
        title = {A methodology for {LISP} program construction from examples},
        author = {Phillip D. Summers},
        journal = { Journal ACM},
        pages = { 162-175},
        volume = { 24},
        year = 1977,
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/288fc6e8e0e3cdb73766733080793975f/mh},
	keywords = {imported}
}

@inproceedings{Schmid.Wysotzki00Applying,
        title = {Applying Inductive Programm Synthesis to Macro Learning},
        address = {Menlo Park, CA},
        author = {Ute Schmid and Fritz Wysotzki},
        booktitle = {{Proc. 5th International Conference on Artificial Intelligence Planning
	and Scheduling (AIPS 2000)}},
        pages = {371--378},
        publisher = {{AAAI Press}},
        year = 2000,
        editors = {S. Chien and S. Kambhampati and C. A. Knoblock},
	biburl = {http://www.bibsonomy.org/bibtex/29211defa820289994833820aeeb2be26/mh},
	keywords = {imported}
}

@inproceedings{Schmid.Wysotzki00Unifying,
        title = {A Unifying Approach to Learning by Doing and Learning by Analogy},
        address = {Orlando, FL},
        author = {Ute Schmid and Fritz Wysotzki},
        booktitle = {{4th World Multiconference on Systemics, Cybernetics and Informatics
	(SCI 2000)}},
        editor = {N. Callaos},
        pages = {379--384},
        publisher = {{IIIS}},
        volume = 1,
        year = 2000,
        biburl = {http://www.bibsonomy.org/bibtex/2b95a86b34cccbdf0994b8527ad22c7c4/mh},
	keywords = {imported}
}

@inproceedings{Schmid.Waltermann04Automatic,
        title = {Automatic Synthesis of {XSL}-Transformations from Example Documents},
        author = {Ute Schmid and Jens Waltermann},
        booktitle = {{Artificial Intelligence and Applications Proceedings (AIA 2004,
	Innsbruck, Austria, February 16-18)}},
        pages = {252-257},
        publisher = {Acta Press, Series on Artificial Intelligence and Soft Computing},
        year = 2004,
        biburl = {http://www.bibsonomy.org/bibtex/2857eef17c8708f9a71bd7d5629592671/mh},
	keywords = {imported}
}

@inproceedings{Quinlan.Cameron-Jones93FOIL,
        title = {{FOIL}: {A} Midterm Report},
        author = {J. Ross Quinlan and R. Mike Cameron-Jones},
        booktitle = {Machine Learning: {ECML}-93, European Conference on Machine Learning,
	Proceedings},
        pages = {3--20},
        publisher = {Springer-Verlag},
        volume = 667,
        year = 1993,
        url = {citeseer.ist.psu.edu/quinlan93foil.html},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2f834259c6105b5220daecdec509f206e/mh},
	keywords = {imported}
}

@article{Quinlan96Learning,
        title = {Learning First-Order Definitions of Functions},
        author = {J. Ross Quinlan},
        journal = {Journal of Artificial Intelligence Research},
        pages = {139-161},
        volume = 5,
        year = 1996,
        url = {citeseer.ist.psu.edu/quinlan96learning.html},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2a5e6d426de7a1b7d2d05c158a4aa7f65/mh},
	keywords = {imported}
}

@incollection{Plotkin71further,
        title = {A further note on inductive generalization},
        author = {G. Plotkin},
        booktitle = {Machine Intelligence},
        publisher = {Edinburgh University Press},
        volume = 6,
        year = 1971,
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/22b91a801cccd8f06cc60e11aa28f7240/mh},
	keywords = {imported}
}

@incollection{Plotkin69note,
        title = {A note on inductive generalisation},
        address = {Edinburgh},
        author = {G.D. Plotkin},
        booktitle = {Machine Intelligence 5},
        editor = {B. Meltzer and D. Michie},
        pages = {153--163},
        publisher = {Edinburgh University Press},
        year = 1969,
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2cbecea260a3cc44effa92b5f5a2fd10c/mh},
	keywords = {imported}
}

@phdthesis{Olsson94Inductive,
        title = {Inductive functional programming using incremental program transformation
	and Execution of logic programs by iterative-deepening {A}* {SLD}-tree
	search},
        address = {Norway},
        author = {Roland J. Olsson},
        school = {University of Oslo},
        type = {Dr scient thesis},
        year = 1994,
        url = {http://www.ia-stud.hiof.no/~rolando/01-report.ps.Z},
        timestamp = {2007.12.19},
	isbn = {82-7368-099-1},
	owner = {martin},
	notes = {Research report 189},
	size = {156 pages},
	biburl = {http://www.bibsonomy.org/bibtex/21264a9688cb7acf758868485855d21ec/mh},
	keywords = {imported}
}

@article{Olsson95Inductive,
        title = {Inductive functional programming using incremental program transformation},
        author = {Roland J. Olsson},
        journal = {Artificial Intelligence},
        number = 1,
        pages = {55-83},
        volume = 74,
        year = 1995,
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2f6ae38773e486d2ca821de0699257aa2/mh},
	keywords = {imported}
}

@inproceedings{Olsson98Population,
        title = {Population Management for Automatic Design of Algorithms through
	Evolution},
        address = {Anchorage, Alaska, USA},
        author = {Roland J. Olsson},
        booktitle = {Proceedings of the 1998 {IEEE} World Congress on Computational Intelligence},
        month = {5-9},
        pages = {592--597},
        publisher = {IEEE Press},
        year = 1998,
        url = {citeseer.ist.psu.edu/olsson98population.html},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2b3cce2b4dc204e37f4b70aadea5a0924/mh},
	keywords = {imported}
}

@misc{Olsson99How,
        title = {How to Invent Functions},
        author = {Roland J. Olsson},
        year = 1999,
        url = {citeseer.ifi.unizh.ch/olsson99how.html},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2411bcec787074e3b24a8bb372ae4a722/mh},
	keywords = {imported}
}

@inproceedings{Olsson98Art,
        title = {The Art of Writing Specifications for the {ADATE} Automatic Programming
	System},
        address = {University of Wisconsin, Madison, Wisconsin, USA},
        author = {Roland J. Olsson},
        booktitle = {Genetic Programming 1998: Proceedings of the Third Annual Conference},
        editor = {John R. Koza and Wolfgang Banzhaf and Kumar Chellapilla and Kalyanmoy Deb and Marco Dorigo and David B. Fogel and Max H. Garzon and David E. Goldberg and Hitoshi Iba and Rick Riolo},
        month = {22-25},
        pages = {278--283},
        publisher = {Morgan Kaufmann},
        year = 1998,
        url = {citeseer.ist.psu.edu/62211.html},
        timestamp = {2007.12.19},
	isbn = {1-55860-548-7},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2ffb184b37c38941675dc3902a8bd50b8/mh},
	keywords = {imported}
}

@inproceedings{Olsson.Wilcox02Self-improvement,
        title = {Self-improvement For The ADATE Automatic Programming System},
        address = {San Francisco, CA, USA},
        author = {Ronald Olsson and Brock Wilcox},
        booktitle = {GECCO '02: Proceedings of the Genetic and Evolutionary Computation
	Conference},
        pages = {893-897},
        publisher = {Morgan Kaufmann Publishers Inc.},
        year = 2002,
        isbn = {1-55860-878-8},
	biburl = {http://www.bibsonomy.org/bibtex/268f6b20908ec03509626fd9249fe9b36/mh},
	keywords = {imported}
}

@article{Muggleton.Raedt94Inductive,
        title = {Inductive Logic Programming: Theory and Methods},
        author = {Stephen Muggleton and Luc De Raedt},
        journal = {Journal of Logic Programming},
        pages = {629-679},
        volume = {19/20},
        year = 1994,
        url = {citeseer.ist.psu.edu/muggleton94inductive.html},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/2052793cc2928af4954fcb5d0bdc00a46/mh},
	keywords = {imported}
}

@incollection{Muggleton.Firth01CProgol4.4,
        title = {{CP}rogol4.4: a tutorial introduction},
        author = {S.H. Muggleton and J. Firth},
        booktitle = {Relational Data Mining},
        editor = {S. Dzeroski and N. Lavrac},
        pages = {160--188},
        publisher = {Springer-Verlag},
        year = 2001,
        url = {http://www.doc.ic.ac.uk/\~shm/Papers/progtuttheo.pdf},
        timestamp = {2007.12.19},
	owner = {martin},
	biburl = {http://www.bibsonomy.org/bibtex/281f7a3e902605d193dafd8bdfbc79980/mh},
	keywords = {imported}
}