1. Constructive graph labeling using double cosets;Brown;Discrete Math.,1974
2. A program for generating explanatory hypotheses in organic chemistry;Buchanan,1969
3. On generality and problem solving: A case study using the DENDRAL program;Feigenbaum,1971
4. On realizability of a set of imegers as degree of the vertices of a linear graph;Hakimi;I.J. SIAM,1962