Harold Boley Directed Recursive Labelnode Hypergraphs: A New Representation-Language. 49-85 1977 9 Artif. Intell. 1 db/journals/ai/ai9.html#Boley77