Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. - Boris Düdder; Oliver Garbe; Moritz Martens; Jakob Rehof; Pawel Urzyczyn (ITRS, 2012)