BibSonomy publications for /user/sebastian/frischhttp://www.bibsonomy.org/publrss/user/sebastian/frischBibSonomy RSS Feed for /user/sebastian/frischThe Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.http://www.bibsonomy.org/bibtex/2ff2536413d44dce172ab0a25eea71faa/sebastiansebastian2007-01-14T22:33:21+01:00hybrid frisch new <span style="color:#555555;">Alan M. <a href="http://www.bibsonomy.org/author/Frisch">Frisch</a> </span><em>Artif. Intell.</em><em>49(1-3):161-198</em>(<em>1991</em>)Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.http://www.bibsonomy.org/bibtex/2fd76fc90c77d07573e1ccd0a3c20dbef/sebastiansebastian2007-01-14T22:32:23+01:00ilp frisch new <span style="color:#555555;">Alan M. <a href="http://www.bibsonomy.org/author/Frisch">Frisch</a> </span><em>ILP, </em><em>Seite104-115. </em>(<em>1999</em>)