Fig. 5From: Finding the K best synthesis plansThe HoR from Fig. 4 decorated with example retro yieldsBack to article page