Knowledge Acquisition for Constructive Systems - Marcus, S; McDermott, J; Wang, T (Proceed. Ninth Int. Joint Conf. Artif. Intell, 1985)