@article{journals/ai/Frisch91,
        title = {The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.},
        author = {Alan M. Frisch},
        journal = {Artif. Intell.},
        number = {1-3},
        pages = {161-198},
        volume = 49,
        year = 1991,
        url = {http://dblp.uni-trier.de/db/journals/ai/ai49.html#Frisch91},
        ee = {http://dx.doi.org/10.1016/S0004-3702(03)00135-8},
	biburl = {http://www.bibsonomy.org/bibtex/2ff2536413d44dce172ab0a25eea71faa/sebastian},
	keywords = {new frisch hybrid}
}

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