BibSonomy bookmarks for /user/mhhttp://www.bibsonomy.org/rss/user/mhBibSonomy RSS Feed for /user/mhinductive-programming.org | The IP CommunityInductive programming community portalhttp://www.inductive-programming.org/mh2007-10-17T14:34:14+02:00inductive IP programming Inductive programming community portal