Definition Theory as Basis for a Creative Problem Solver. - T. Gorgely; Hajnal Andréka; István Németi (IJCAI, 1975)